3638 search results - page 674 / 728 » HEP@Home - A distributed computing system based on BOINC |
FORMATS
2003
Springer
14 years 29 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
ICPP
2002
IEEE
14 years 20 days ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
ICRA
2002
IEEE
14 years 20 days ago
2002
IEEE
—Creation of cooperative robot teams for complex tasks requires not only agents that can function well individually but also agents that can coordinate their actions. This paper ...
APN
2010
Springer
14 years 16 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
PADS
2000
ACM
14 years 3 days ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...