963 search results - page 14 / 193 » Escape Analysis on Lists |
ALGORITHMICA
1999
14 years 9 months ago
1999
Maxima in Rd are found incrementally by maintaining a linked list and comparing new elements against the linked list. If the elements are independent and uniformly distributed in t...
ILC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
Powerful SIMD instructions in modern processors offer an opportunity for greater search performance. In this paper, we apply these instructions to decoding search engine posting ...
CBMS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present ProtCV (Protein Clustering and Visualization) a new software tool for grouping samples (mass spectra peak-lists) emanating from a high throughput proteomics analysis ba...
VLDB
2011
ACM
14 years 4 months ago
2011
ACM
A large number of web pages contain data structured in the form of “lists”. Many such lists can be further split into multi-column tables, which can then be used in more seman...