Sciweavers

1022 search results - page 46 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
CODES
2006
IEEE
15 years 4 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
HYBRID
2003
Springer
15 years 7 months ago
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
Xenofon D. Koutsoukos, James Kurien, Feng Zhao
118
Voted
ASPDAC
2009
ACM
139views Hardware» more  ASPDAC 2009»
15 years 9 months ago
Hardware-dependent software synthesis for many-core embedded systems
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
Samar Abdi, Gunar Schirner, Ines Viskic, Hansu Cho...
208
Voted
ISSS
2002
IEEE
194views Hardware» more  ISSS 2002»
15 years 7 months ago
Managing Dynamic Concurrent Tasks in Embedded Real-Time Multimedia Systems
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
Rudy Lauwereins, Chun Wong, Paul Marchal, Johan Vo...
DAC
1999
ACM
16 years 3 months ago
Representation of Function Variants for Embedded System Optimization and Synthesis
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
Dirk Ziegenbein, Jürgen Teich, Kai Richter, L...