2479 search results - page 270 / 496 » Random Event Structures |
147
click to vote
ICPP
1996
IEEE
15 years 9 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...
150
click to vote
PADS
1996
ACM
15 years 9 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 ...
136
click to vote
DAC
1992
ACM
15 years 9 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
134
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...
127
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...