846 search results - page 137 / 170 » Rewrite-Based Decision Procedures |
145
click to vote
MICRO
1997
IEEE
15 years 9 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...
132
click to vote
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
134
click to vote
HICSS
1994
IEEE
15 years 9 months ago
1994
IEEE
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
132
Voted
INFOCOM
1994
IEEE
15 years 9 months ago
1994
IEEE
We propose a microeconomic approach to service provisioning in ATM networks. Our provisioning procedure consists of two algorithms, one executed by the network and the other by in...
117
click to vote
ADC
2007
Springer
15 years 9 months ago
2007
Springer
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...