2838 search results - page 368 / 568 » Verifying Controlled Components |
100
Voted
TOCHI
1998
15 years 10 days ago
1998
Ideally, software toolkits for collaborative applications should provide generic, reusable components, applicable in a wide range of circumstances, which software developers can as...
197
click to vote
IPSN
2011
Springer
14 years 4 months ago
2011
Springer
Existing deployments of wireless sensor networks (WSNs) are often conceived as stand-alone monitoring tools. In this paper, we report instead on a deployment where the WSN is a ke...
141
click to vote
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...
97
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
In many applications it is necessary to track a moving and deforming boundary on the plane from infrequent, sparse measurements. For instance, each of a set of mobile observers may...
111
click to vote
HPCA
2001
IEEE
16 years 1 months ago
2001
IEEE
With the increasing clock rate and transistor count of today's microprocessors, power dissipation is becoming a critical component of system design complexity. Thermal and po...