2805 search results - page 60 / 561 » Collecting More Garbage |
103
Voted
DMKD
2000
ACM
15 years 5 months ago
2000
ACM
Text documents often contain valuable structured data that is hidden in regular English sentences. This data is best exploited if available as a relational table that we could use...
140
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Java performance is far from being trivial to benchmark because it is affected by various factors such as the Java application, its input, the virtual machine, the garbage collect...
125
Voted
POPL
1999
ACM
15 years 5 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
114
click to vote
JAVA
1999
Springer
15 years 5 months ago
1999
Springer
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
103
Voted
ENTCS
2008
15 years 25 days ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...