783 search results - page 81 / 157 » Bridging the Gap |
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have signiļ¬cant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
IEEESCC
2009
IEEE
14 years 2 months ago
2009
IEEE
Wireless sensor networks are application speciļ¬c, data centric networks where different applications run on deployed network. Each application interprets the underlying sensor n...