7262 search results - page 1247 / 1453 » Reversible Computer Hardware |
188
click to vote
RTCSA
2007
IEEE
16 years 23 days ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
172
click to vote
RTSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Sea depth monitoring is a critical task to ensure the safe operation of harbors. Traditional schemes largely rely on labor-intensive work and expensive hardware. This study explor...
151
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
174
click to vote
CC
2007
Springer
16 years 20 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
195
click to vote
EEMMAS
2007
Springer
16 years 20 days ago
2007
Springer
In this talk I present recent research in swarm robotics, the discipline that studies robotic systems composed of swarms of robots tightly interacting and cooperating to reach thei...