1752 search results - page 272 / 351 » Application Specific Processing: A Tools Approach |
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
PDPTA
2010
13 years 6 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
DAC
1999
ACM
14 years 1 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...