6607 search results - page 488 / 1322 » Making TeX Work |
177
click to vote
PLDI
2005
ACM
16 years 1 days ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
171
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
199
click to vote
TLDI
2005
ACM
16 years 1 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
203
click to vote
WMASH
2005
ACM
16 years 1 days ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...
163
click to vote
APPROX
2005
Springer
16 years 1 days ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...