783 search results - page 132 / 157 » The TextPro Tool Suite |
TPHOL
1998
IEEE
14 years 8 days ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
WETICE
1998
IEEE
14 years 8 days ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
ICCAD
1997
IEEE
14 years 7 days ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...
ICSM
1997
IEEE
14 years 7 days ago
1997
IEEE
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
DAC
1997
ACM
14 years 6 days ago
1997
ACM
: Numerous fast algorithms for the Discrete Cosine Transform DCT have been proposed. Until recently, it has been di cult to compare di erent DCT algorithms and select one which i...