130
click to vote
ASPLOS
15 years 8 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 ...
131
click to vote
ASPLOS
15 years 8 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...
129
click to vote
ASPLOS
15 years 8 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...
140
click to vote
ASPLOS
15 years 5 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...
120
click to vote
ASPLOS
15 years 8 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