10870 search results - page 1968 / 2174 » Model Checking Programs |
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
— Cloud computing has gained significant traction in recent years. The Map-Reduce framework is currently the most dominant programming model in cloud computing settings. In this ...
108
click to vote
NOCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Future manycore processors will require energyefficient, high-throughput on-chip networks. Siliconphotonics is a promising new interconnect technology which offers lower power, h...
115
click to vote
ICPPW
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
124
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
141
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...