434 search results - page 81 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
Reducing the energy footprint of data centers continues to receive significant attention due to both its financial and environmental impact. There are numerous methods that limi...
IPPS
2003
IEEE
14 years 29 days ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...