42507 search results - page 209 / 8502 » On the analysis of |
226
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
190
click to vote
ICEBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
183
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
187
click to vote
SAFECOMP
2007
Springer
16 years 24 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
170
click to vote
ACSD
2006
IEEE
16 years 23 days ago
2006
IEEE
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for...