364 search results - page 18 / 73 » On Tools for Modeling High-Performance Embedded Systems |
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
SEUS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
SAMOS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
DAC
1999
ACM
15 years 1 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...