9110 search results - page 1758 / 1822 » Formally-Based Design Evaluation |
138
Voted
USENIX
2008
15 years 5 months ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...
112
Voted
ACMACE
2008
ACM
15 years 5 months ago
2008
ACM
This work challenges the conventional art experience. It brings together the fields of art, science, and software integration. The goal was to create a new kind of painting based ...
162
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
136
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
121
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...