2607 search results - page 143 / 522 » Complete Functional Synthesis |
136
Voted
SIAMNUM
2010
14 years 10 months ago
2010
We obtain exponentially accurate Fourier series for nonperiodic functions on the interval [-1, 1] by extending these functions to periodic functions on a larger domain. The series ...
106
Voted
ITC
1997
IEEE
15 years 8 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
136
Voted
TPHOL
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
140
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
121
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...