1086 search results - page 147 / 218 » Event Structures with Symmetry |
143
click to vote
BIRTHDAY
2000
Springer
15 years 8 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...
132
click to vote
ACSD
1998
IEEE
15 years 8 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...
140
click to vote
VRML
1998
ACM
15 years 8 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...
128
click to vote
ICPP
1996
IEEE
15 years 8 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...
137
click to vote
PADS
1996
ACM
15 years 8 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 ...