10585 search results - page 1698 / 2117 » The Orc Programming Language |
142
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...
169
Voted
ASPLOS
2006
ACM
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...
160
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
149
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
158
Voted
SC
1995
ACM
15 years 8 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...