194 search results - page 18 / 39 » Compositional Performability Evaluation for STATEMATE |
BMCBI
2006
13 years 7 months ago
2006
Background: The rapidly increasing speed with which genome sequence data can be generated will be accompanied by an exponential increase in the number of sequenced eukaryotes. Wit...
AAAI
2011
12 years 7 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
ICPP
2009
IEEE
14 years 2 months ago
2009
IEEE
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
We consider the problem of efficient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ...
JSA
2011
12 years 10 months ago
2011
The importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed and three interrupt accounting methods, namely quantum-centric, task-...