3911 search results - page 275 / 783 » Using Operational Architecture to Model Embedded Software |
162
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
205
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
186
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
190
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
148
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...