3616 search results - page 575 / 724 » Conditional Memory Ordering |
102
click to vote
MMB
1997
Springer
15 years 6 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
133
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
116
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
103
click to vote
KR
1992
Springer
15 years 6 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
140
click to vote
PEPM
1992
ACM
15 years 6 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...