608 search results - page 73 / 122 » The Expressive Power of Simple Parallelism |
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
GRID
2007
Springer
15 years 3 months ago
2007
Springer
— Replica exchange is a powerful sampling algorithm and can be effectively used for applications such as simulating the structure, function, folding, and dynamics of proteins and...
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
DCOSS
2006
Springer
15 years 1 months ago
2006
Springer
The scope of wireless sensor network (WSN) applications has traditionally been restricted by physical sensor coverage and limited computational power. Meanwhile, IP networks like t...
MIDDLEWARE
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...