Sciweavers

6701 search results - page 354 / 1341
» Medical Embedded Systems
Sort
View
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
16 years 1 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
PRDC
2008
IEEE
16 years 1 months ago
On Modeling the Lifetime Reliability of Homogeneous Manycore Systems
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...
Lin Huang, Qiang Xu
205
Voted
ICRA
2006
IEEE
158views Robotics» more  ICRA 2006»
16 years 24 days ago
An Agent-based Mobile Robot System using Configurable SOC Technique
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
Yan Meng
181
Voted
EUROMICRO
2000
IEEE
15 years 11 months ago
A Simulink(c)-Based Approach to System Level Design and Architecture Selection
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
Luciano Lavagno, Begoña Pino, Leonardo Mari...
169
Voted
CSREAESA
2007
15 years 8 months ago
IT Security Protection at Field Level of Industrial Automation Systems
—Current industrial automation systems are virtually unprotected against attacks on IT security at field level, especially if an attacker is able to connect physically to field...
Felix Gutbrodt