2129 search results - page 412 / 426 » Cutting-Edge Timing Analysis Techniques |
ACMMSP
2005
ACM
14 years 29 days ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
SIGMETRICS
2005
ACM
14 years 29 days ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
IBPRIA
2005
Springer
14 years 28 days ago
2005
Springer
The ability of finding its situation in a given environment is crucial for an autonomous agent. While navigating through a space, a mobile robot must be capable of finding its lo...
SG
2005
Springer
14 years 26 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
ASPLOS
2004
ACM
14 years 25 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...