Sciweavers

4536 search results - page 220 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
192
Voted
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 6 days ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
ISMIS
2005
Springer
15 years 7 months ago
A Probabilistic Approach to Finding Geometric Objects in Spatial Datasets of the Milky Way
Data from the Sloan Digital Sky Survey has given evidence of structures within the Milky Way halo from other nearby galaxies. Both the halo and these structures are approximated by...
Jon Purnell, Malik Magdon-Ismail, Heidi Jo Newberg
100
Voted
STACS
2005
Springer
15 years 7 months ago
Approximate Range Mode and Range Median Queries
Abstract. We consider data structures and algorithms for preprocessing a labelled list of length n so that, for any given indices i and j we can answer queries of the form: What is...
Prosenjit Bose, Evangelos Kranakis, Pat Morin, Yih...
155
Voted
SIGSOFT
2010
ACM
15 years 4 days ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
ICDM
2003
IEEE
100views Data Mining» more  ICDM 2003»
15 years 7 months ago
Tractable Group Detection on Large Link Data Sets
Discovering underlying structure from co-occurrence data is an important task in a variety of fields, including: insurance, intelligence, criminal investigation, epidemiology, hu...
Jeremy Kubica, Andrew W. Moore, Jeff G. Schneider