Sciweavers

2300 search results - page 155 / 460
» Maximally Concurrent Programs
Sort
View
COORDINATION
1999
Springer
15 years 6 months ago
A Group Based Approach for Coordinating Active Objects
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
Juan Carlos Cruz, Stéphane Ducasse
CONCURRENCY
2008
60views more  CONCURRENCY 2008»
15 years 2 months ago
Steering via the image in local, distributed and collaborative settings
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
J. D. Wood, H. Wright
111
Voted
FUIN
2008
91views more  FUIN 2008»
15 years 2 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
ENTCS
2006
154views more  ENTCS 2006»
15 years 2 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
111
Voted
TSMC
1998
62views more  TSMC 1998»
15 years 2 months ago
Performance based design of high-level language-directed computer architectures
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
Rajendra S. Katti, Mark L. Manwaring