Sciweavers

1220 search results - page 181 / 244
» Guided Data Repair
Sort
View
ICFP
2005
ACM
14 years 10 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
ICCD
2005
IEEE
108views Hardware» more  ICCD 2005»
14 years 6 months ago
Methods for Modeling Resource Contention on Simultaneous Multithreading Processors
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Danie...
SOSP
2009
ACM
14 years 6 months ago
ODR: output-deterministic replay for multicore debugging
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
Gautam Altekar, Ion Stoica
CSE
2009
IEEE
14 years 4 months ago
Social Interaction History: A Framework for Supporting Exploration of Social Information Spaces
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
Indratmo, Julita Vassileva
AI
2009
Springer
14 years 4 months ago
An Ontology-Based Spatial Clustering Selection System
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...
Wei Gu, Xin Wang, Danielle Ziébelin