1209 search results - page 169 / 242 » Approximation by pseudo-linear operators |
169
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
167
Voted
JAVA
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
149
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
161
click to vote
PODC
2000
ACM
15 years 9 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
170
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...