Sciweavers

7429 search results - page 598 / 1486
» Embedded System Update
Sort
View
AHS
2007
IEEE
251views Hardware» more  AHS 2007»
15 years 11 months ago
System Level Modelling of Reconfigurable FFT Architecture for System-on-Chip Design
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
Ali Ahmadinia, Balal Ahmad, Tughrul Arslan
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 11 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
ASPDAC
2005
ACM
116views Hardware» more  ASPDAC 2005»
15 years 9 months ago
On combining iteration space tiling with data space tiling for scratch-pad memory systems
Abstract— Most previous studies on tiling concentrate on iteration space only for cache-based memory systems. However, more and more real-time embedded systems are adopting Scrat...
Chunhui Zhang, Fadi J. Kurdahi
METMBS
2003
15 years 8 months ago
Management of Streaming Body Sensor Data for Medical Information Systems
Data retrieved from body sensors such as ECG machines and new-generation multi-sensor systems such as respiratory monitors are varied and abundant. Managing and integrating this s...
Alfonso F. Cardenas, Raymond K. Pon, Robert B. Cam...
AUTOMATICA
2004
113views more  AUTOMATICA 2004»
15 years 7 months ago
Ellipsoidal bounds for uncertain linear equations and dynamical systems
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
Giuseppe Carlo Calafiore, Laurent El Ghaoui