2218 search results - page 316 / 444 » Testing Expressibility Is Hard |
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
MM
2003
ACM
14 years 2 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
PLDI
2003
ACM
14 years 2 months 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...
SACMAT
2003
ACM
14 years 2 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
SIGECOM
2003
ACM
14 years 2 months ago
2003
ACM
We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying o...