1086 search results - page 147 / 218 » Event Structures with Symmetry |
BIRTHDAY
2000
Springer
14 years 2 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
ACSD
1998
IEEE
14 years 2 months ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
VRML
1998
ACM
14 years 2 months ago
1998
ACM
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
ICPP
1996
IEEE
14 years 2 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
PADS
1996
ACM
14 years 2 months ago
1996
ACM
Recently, a considerable amount of effort in the U.S. Department of Defense has been devoted to defining the High Level Architecture (HLA) for distributed simulations. This paper ...