1992 search results - page 111 / 399 » On the (limited) power of non-equivocation |
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
—On-chip decoupling capacitors (decaps) are generally used to reduce power supply noise. Passive decap designs are reaching their limits in 90nm CMOS technology due to higher ope...
130
Voted
ICDE
2005
IEEE
15 years 7 months ago
2005
IEEE
Sensor networks are an emerging technology that provide new means to monitor and understand various phenomena. Nodes in a sensor network typically have a limited power supply, thu...
119
click to vote
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
100
Voted
ACRI
2004
Springer
15 years 7 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
101
Voted
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...