8874 search results - page 324 / 1775 » A New Implementation of Automath |
162
click to vote
DCC
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on the performance evaluation of greedy parsing with a single step lookahead, denoted as flexible parsing. We also introduce a new fingerprint based data structure which...
142
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
144
Voted
DAC
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
150
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
163
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
Previous models of dynamic querying supported by query previews have focussed on attribute based querying, have required information providers to create preview tables, and have p...