1642 search results - page 129 / 329 » SPINning Parallel Systems Software |
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
LCPC
1994
Springer
14 years 2 days ago
1994
Springer
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
ISPDC
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
ARCS
2006
Springer
13 years 11 months ago
2006
Springer
The performance of the barrier operation can be crucial for many parallel codes. Especially distributed shared memory systems have to synchronize frequently to ensure the proper o...