4520 search results - page 798 / 904 » Algebraic Techniques for Timed Systems |
160
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes an agent-based architecture designed to support the interoperation of distributed and disparate information processing tools and resources. This work is based...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
169
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Trademark image retrieval is becoming an important application for logo registry, veri cation, and design. There are two major problems about the current approaches to tr...
153
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
161
click to vote
ISCA
1997
IEEE
15 years 10 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...