6381 search results - page 1126 / 1277 » Alternative Implementation of the C |
191
click to vote
PLDI
2003
ACM
16 years 9 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
219
click to vote
SACMAT
2003
ACM
16 years 9 days ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
215
Voted
SENSYS
2003
ACM
16 years 9 days ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...
219
Voted
HUMAN
2003
Springer
16 years 8 days ago
2003
Springer
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...
213
click to vote
PLDI
2010
ACM
16 years 4 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...