1456 search results - page 48 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
157
click to vote
RTAS
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
175
click to vote
E4MAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
162
click to vote
ITC
1997
IEEE
15 years 10 months ago
1997
IEEE
In a fundamental paradigm shift in system design, entire systems are being built on a single chip, using multiple embedded cores. Though the newest system design methodology has s...
135
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...