850 search results - page 127 / 170 » Certification of System Architecture Dependability |
142
click to vote
EEE
2004
IEEE
15 years 9 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
141
click to vote
GREC
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present an algorithm for performance characterization of symbol localization systems. This algorithm is aimed to be a more “reliable” and “open” solution t...
179
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
191
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
152
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...