844 search results - page 137 / 169 » Safraless Decision Procedures |
FOCS
1997
IEEE
14 years 27 days ago
1997
IEEE
We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that...
ICMCS
1997
IEEE
14 years 26 days ago
1997
IEEE
Quality of Service (QoS) management becomes more and more important, especially in networks where many applications are competing for a limited number of resources. As these appli...
MICRO
1997
IEEE
14 years 26 days 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...
SIGGRAPH
1996
ACM
14 years 25 days 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...
HICSS
1994
IEEE
14 years 24 days 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...