Sciweavers

4889 search results - page 600 / 978
» A Refactoring Approach to Parallelism
Sort
View
199
Voted
COORDINATION
2004
Springer
16 years 6 days ago
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
Amy L. Murphy, Gian Pietro Picco
ICLP
2004
Springer
16 years 5 days ago
Protein Folding Simulation in CCP
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
Alessandro Dal Palù, Agostino Dovier, Feder...
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
16 years 5 days ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
ISPA
2004
Springer
16 years 5 days ago
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
Michael Knoke, Felix Kühling, Armin Zimmerman...
150
Voted
PPSN
2004
Springer
16 years 4 days ago
Searching Transcriptional Modules Using Evolutionary Algorithms
The mechanism of gene regulation has been studied intensely for decades. It is important to identify synergistic transcriptional motifs. Its search space is so large that an effici...
Je-Gun Joung, Sok June Oh, Byoung-Tak Zhang