2838 search results - page 229 / 568 » Verifying Controlled Components |
121
click to vote
CF
2005
ACM
15 years 2 months ago
2005
ACM
As technology scales down at an exponential rate, leakage power is fast becoming the dominant component of the total power budget. A large share of the total leakage power is diss...
125
click to vote
BMCBI
2010
15 years 27 days ago
2010
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
102
Voted
JSS
2007
15 years 20 days ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
95
Voted
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract— There is a growing interest in building Internetscale sensor networks that integrate sensors from around the world into a single unified system. In contrast, robotics ...
137
click to vote
JBI
2011
14 years 7 months ago
2011
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...