Sciweavers

5690 search results - page 531 / 1138
» A Position Control System Design
Sort
View
ENTCS
2006
231views more  ENTCS 2006»
15 years 7 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
RTSS
2005
IEEE
16 years 20 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
DATE
2007
IEEE
95views Hardware» more  DATE 2007»
16 years 1 months ago
A multi-core debug platform for NoC-based systems
Network-on-Chip (NoC) is generally regarded as the most promising solution for the future on-chip communication scheme in gigascale integrated circuits. As traditional debug archi...
Shan Tang, Qiang Xu
AUTOMATICA
2005
257views more  AUTOMATICA 2005»
15 years 7 months ago
Delay-dependent stabilization of linear systems with time-varying state and input delays
The Integral-Inequality Method is a new way of tackling the delay-dependent stabilization problem for a linear system with time-varying state and input delays: x(t) = Ax(t) + A1x(...
Xian-Ming Zhang, Min Wu, Jin-Hua She, Yong He
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
16 years 12 days ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli