1541 search results - page 277 / 309 » Tools and Techniques for Model Checking Networked Programs |
103
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
CHI
2006
ACM
16 years 26 days ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
115
Voted
SAC
2000
ACM
15 years 4 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
110
click to vote
DCOSS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...
107
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...