1880 search results - page 214 / 376 » A Static Analysis for Beta-Binders |
176
click to vote
RTAS
2006
IEEE
16 years 18 days ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
167
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
182
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...
185
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
184
click to vote
SMI
1999
IEEE
15 years 11 months ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...