ASPLOS
15 years 2 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 ...
ASPLOS
15 years 2 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...
88
Voted
ASPLOS
15 years 2 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...
ASPLOS
15 years 21 days 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...
ASPLOS
15 years 2 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