1626 search results - page 263 / 326 » Subtyping with Power Types |
106
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Hardware accelerators are common in embedded systems that have high performance requirements but must still operate within stringent energy constraints. To facilitate short time-t...
138
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Substantial increase in leakage current and threshold voltage fluctuations are making design of robust wide fan-in dynamic gates a challenging task. Traditionally, a PMOS keeper t...
144
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
1 There are increasing deployments of networked embedded systems and rising threats of malware intrusions on such systems. To mitigate this threat, it is desirable to enable common...
162
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
170
Voted
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...