523 search results - page 71 / 105 » Embedded Software Development with Projectional Language Wor... |
119
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
129
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
165
Voted
AGS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
166
Voted
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...
128
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...