2025 search results - page 152 / 405 » A Reliable Software Architecture for Complex Embedded System... |
130
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...
141
Voted
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
135
Voted
FGR
1998
IEEE
15 years 9 months ago
1998
IEEE
Recently there is an increasing interest in video based interface techniques, allowing more natural interaction between users and systems than common interface devices do. Here, w...
172
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...
151
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...