166
click to vote
ASPLOS
15 years 10 months ago
2006 ACM 
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
152
click to vote
ASPLOS
15 years 10 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...
151
click to vote
ASPLOS
15 years 10 months ago
2006 ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
157
click to vote
ASPLOS
15 years 8 months ago
2006 ACM 
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
141
click to vote
ASPLOS
15 years 10 months ago
2006 ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
|
Programming Languages