6800 search results - page 228 / 1360 » Testing with Functions as Specifications |
138
Voted
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
127
click to vote
EUROGP
2000
Springer
15 years 8 months ago
2000
Springer
1 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in rst time. The new representation of logic...
152
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
161
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Transcriptional interactions in a cell are modulated by a variety of mechanisms that prevent their representation as pure pairwise interactions between a transcription fa...
135
click to vote
TSP
2010
14 years 11 months ago
2010
This paper proposes a new estimation procedure for the ambiguity function of a non-stationary time series. The stochastic properties of the empirical ambiguity function calculated...