9110 search results - page 1758 / 1822 » Formally-Based Design Evaluation |
USENIX
2008
14 years 9 days 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...
ACMACE
2008
ACM
13 years 12 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 ...
ASPLOS
2008
ACM
13 years 12 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, ...
ASPLOS
2008
ACM
13 years 12 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...
ASPLOS
2008
ACM
13 years 12 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...