2637 search results - page 150 / 528 » Tool Supported Specification and Simulation of Distributed S... |
139
click to vote
MABS
2004
Springer
15 years 10 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
138
click to vote
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
139
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
143
click to vote
AROBOTS
2004
15 years 4 months ago
2004
The swarm intelligence paradigm has proven to have very interesting properties such as robustness, flexibility and ability to solve complex problems exploiting parallelism and self...
144
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...