ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...