1682 search results - page 242 / 337 » Techniques for Automating Distributed Real-Time Applications... |
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
IEEEPACT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
157
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
KDD
2009
ACM
15 years 4 months ago
2009
ACM
How can we automatically spot all outstanding observations in a data set? This question arises in a large variety of applications, e.g. in economy, biology and medicine. Existing ...