17054 search results - page 331 / 3411 » Logics of Dynamical Systems |
149
Voted
AML
1998
15 years 7 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
179
Voted
ICMAS
2000
15 years 8 months ago
2000
Brokers are used in many multi-agent systems for locating agents, for routing and sharing information, for managing the system, and for legal purposes, as independent third partie...
192
Voted
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
175
Voted
ASPDAC
2004
ACM
16 years 26 days ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
196
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...