2797 search results - page 345 / 560 » Code query by example |
124
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
126
click to vote
ISCAS
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper a new type of maximally decimated FIR cosine modulated filter banks is proposed. Each analysis and synthesis filter in this filter bank has linear phase. We can desig...
119
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
136
Voted
SEKE
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
120
click to vote
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...