1704 search results - page 76 / 341 » Design of a Concurrent and Distributed Language |
121
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
118
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
109
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
134
click to vote
ESIAT
2009
IEEE
15 years 25 days ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
138
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...