194 search results - page 18 / 39 » Compositional Performability Evaluation for STATEMATE |
135
click to vote
BMCBI
2006
15 years 3 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...
150
Voted
AAAI
2011
14 years 3 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...
134
click to vote
ICPP
2009
IEEE
15 years 10 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...
108
Voted
MOBICOM
2009
ACM
15 years 10 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 ...
115
Voted
JSA
2011
14 years 6 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-...