991 search results - page 93 / 199 » MetaCore: An Application Specific DSP Development System |
129
click to vote
ITCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
161
click to vote
ASPDAC
2012
ACM
14 years 19 days ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
154
click to vote
WADT
1999
Springer
15 years 9 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
146
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
170
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...