846 search results - page 136 / 170 » Rewrite-Based Decision Procedures |
142
Voted
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
267
Voted
FMCAD
1998
Springer
15 years 9 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
139
Voted
GIS
1998
ACM
15 years 9 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
121
click to vote
FOCS
1997
IEEE
15 years 9 months 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...
148
Voted
ICMCS
1997
IEEE
15 years 9 months 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...