6105 search results - page 865 / 1221 » A Parallel Algorithm for Bound-Smoothing |
160
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
172
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
179
click to vote
JSSPP
2007
Springer
16 years 27 days ago
2007
Springer
Heterogeneous clusters and grid infrastructures are becoming increasingly popular. In these computing infrastructures, machines have different resources, including memory sizes, d...
176
Voted
MIDDLEWARE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
198
click to vote
AHS
2006
IEEE
16 years 25 days ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...