4586 search results - page 471 / 918 » Computing stable models in parallel |
188
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
171
Voted
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
165
Voted
ISPA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract This paper presents a document-oriented model for information dissemination in dynamic ad hoc networks, such as those composed of highly mobile and volatile communicating ...
153
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
180
click to vote
EGC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...