279 search results - page 7 / 56 » The Voltan application programming environment for fail-sile... |
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
14 years 10 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
100
click to vote
ICCCN
2007
IEEE
15 years 6 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
116
click to vote
FCCM
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...
112
click to vote
PVM
1997
Springer
15 years 3 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...