3635 search results - page 590 / 727 » Algorithms for Energy Saving |
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
219
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
108
Voted
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
113
click to vote
SRDS
2008
IEEE
15 years 8 months ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
113
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
—Traditionally, simultaneous localization and mapping (SLAM) algorithms solve the localization and mapping problem in explored regions. This paper presents a prediction-based SLA...