523 search results - page 84 / 105 » Transformations for Model Checking Distributed Java Programs |
PACT
1997
Springer
14 years 23 days ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
MIDDLEWARE
2000
Springer
14 years 6 days ago
2000
Springer
Historically, method-oriented middleware, such as Sun RPC, DCE, Java RMI, COM, and CORBA, has provided synchronous method invocation (SMI) models to applications. Although SMI work...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
CONCUR
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...