3047 search results - page 378 / 610 » On the Meaning of Logical Completeness |
EVOW
1999
Springer
15 years 3 months ago
1999
Springer
The traditional paradigm for digital filter design is based on the concept of a linear difference equation with the output response being a weighted sum of signal samples with usua...
RTSS
1998
IEEE
15 years 3 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
ADL
1997
Springer
15 years 3 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
DAC
2010
ACM
15 years 2 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
112
click to vote
CIE
2009
Springer
15 years 2 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...