Sciweavers

10051 search results - page 1867 / 2011
» A Dynamic Separator Algorithm
Sort
View
141
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
255
Voted
ASPLOS
2009
ACM
16 years 3 months ago
Kendo: efficient deterministic multithreading in software
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
Marek Olszewski, Jason Ansel, Saman P. Amarasinghe
137
Voted
MOBIHOC
2009
ACM
16 years 3 months ago
Fault tolerant target tracking in sensor networks
In this paper, we present a Gaussian mixture model based approach to capture the spatial characteristics of any target signal in a sensor network, and further propose a temporally...
Min Ding, Xiuzhen Cheng
120
Voted
KDD
2007
ACM
159views Data Mining» more  KDD 2007»
16 years 3 months ago
Constraint-driven clustering
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
Rong Ge, Martin Ester, Wen Jin, Ian Davidson
136
Voted
STOC
2001
ACM
104views Algorithms» more  STOC 2001»
16 years 3 months ago
Spatial gossip and resource location protocols
The dynamic behavior of a network in which information is changing continuously over time requires robust and efficient mechanisms for keeping nodes updated about new information. ...
David Kempe, Jon M. Kleinberg, Alan J. Demers
« Prev « First page 1867 / 2011 Last » Next »