Sciweavers

707 search results - page 1 / 142
» A Practical Method for Quickly Evaluating Program Optimizati...
Sort
View
HIPEAC
2005
Springer
13 years 10 months ago
A Practical Method for Quickly Evaluating Program Optimizations
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
Grigori Fursin, Albert Cohen, Michael F. P. O'Boyl...
ICFP
2009
ACM
13 years 11 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
ISMB
2000
13 years 6 months ago
A Practical Algorithm for Optimal Inference of Haplotypes from Diploid Populations
The next phase of human genomics will involve largescale screens of populations for signi cant DNA polymorphisms, notably single nucleotide polymorphisms SNP's. Dense human S...
Dan Gusfield
ICDE
2007
IEEE
119views Database» more  ICDE 2007»
13 years 11 months ago
Stream Variables: A Quick but not Dirty SQL Extension for Continuous Queries
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
Damianos Chatziantoniou, Yannis Sotiropoulos
CVPR
2010
IEEE
14 years 29 days ago
Fast Globally Optimal 2D Human Detection with Loopy Graph Models
This paper presents an algorithm for recovering the globally optimal 2D human figure detection using a loopy graph model. This is computationally challenging because the time comp...
Tai-Peng Tian, Stan Sclaroff