4839 search results - page 660 / 968 » A survey of computational complexity results in systems and ... |
170
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
181
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
217
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
—Simultaneous Localization And Mapping (SLAM) is one of the major challenges in mobile robotics. Probabilistic techniques using high-end range finding devices are well establishe...
208
click to vote
GRID
2007
Springer
16 years 1 months ago
2007
Springer
— We describe an information service that aggregates metadata available in hundreds of information sources of the EGEE Grid infrastructure. It uses an ontology-based information ...
189
click to vote
ICN
2007
Springer
16 years 29 days ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...