1670 search results - page 184 / 334 » On Skolemization in constructive theories |
132
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
183
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
176
click to vote
ESA
1998
Springer
15 years 10 months ago
1998
Springer
Information retrieval and data compression are the two main application areas where the rich theory of string algorithmics plays a fundamental role. In this paper, we consider one ...
160
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
170
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...