3616 search results - page 574 / 724 » Conditional Memory Ordering |
115
click to vote
SOFSEM
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
123
click to vote
MICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
129
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
INFOCOM
1996
IEEE
15 years 6 months ago
1996
IEEE
This report analyzes two popular heuristics for ensuring packet integrity in ATM switching systems. In particular, we analyze the behavior of packet tail discarding, in order to u...
140
click to vote
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...