3825 search results - page 397 / 765 » The Language of Time: A Reader |
194
click to vote
JAVA
2000
Springer
15 years 10 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...
164
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
198
Voted
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
190
click to vote
ICALP
1995
Springer
15 years 10 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
204
click to vote
AAAI
2008
15 years 9 months ago
2008
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...