3868 search results - page 21 / 774 » Open Systems in TLA |
121
Voted
ISPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work we present the runtime architecture of the OMPi OpenMP compiler. OMPi is a source-to-source C translator featuring a portable, modular and extensible runtime system. ...
116
click to vote
WORDS
2002
IEEE
15 years 6 months ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
GC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
160
click to vote
AWPN
2008
15 years 3 months ago
2008
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
216
click to vote
AOIS
2006
15 years 3 months ago
2006
Agents can freely migrate among open MASs in order to obtain resources or services not found locally. In this scenario, agent actions should be guided for avoiding unexpected behav...