1628 search results - page 103 / 326 » Dynamically Adaptive Parallel Programs |
95
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
119
click to vote
CIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose a naive statistics method for constructing a personalized recommendation system for the Electronic Program Guide (EPG). The idea is based on a p...
127
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
113
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
160
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...