6800 search results - page 972 / 1360 » Testing with Functions as Specifications |
227
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
171
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
170
click to vote
WER
2004
Springer
16 years 2 days ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
200
Voted
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
Motion blurs confound many computer vision problems. The fluttered shutter (FS) camera [1] tackles the motion deblurring problem by emulating invertible broadband blur kernels. How...
168
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...