9124 search results - page 1658 / 1825 » Requirements-Based Design Evaluation |
188
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
"The Amber Room on the Web" project provides wide public access to information about the process of reconstruction of the Amber Room of the Catherine Palace outside of S...
333
Voted
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
352
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
303
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
303
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...