9067 search results - page 1566 / 1814 » Adaptive Model Checking |
318
Voted
BNCOD
2011
14 years 7 months ago
2011
Due to high data volumes and unpredictable arrival rates, continuous query systems processing expensive queries in real-time may fail to keep up with the input data streams - resul...
227
Voted
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
211
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Open Web-based and social platforms dramatically influence models of work. Today, there is an increasing interest in outsourcing tasks to crowdsourcing environments tha...
280
click to vote
ICCD
2011
IEEE
14 years 6 months ago
2011
IEEE
—A key challenge in chip multiprocessor (CMP) design is to optimize the performance within a power budget limited by the CMP’s cooling, packaging, and power supply capacities. ...
240
click to vote
PAMI
2012
13 years 9 months ago
2012
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...