Sciweavers

1831 search results - page 81 / 367
» Time Constraints in Workflow Systems
Sort
View
DFT
2003
IEEE
113views VLSI» more  DFT 2003»
14 years 3 months ago
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
RTCSA
2008
IEEE
14 years 4 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
FPGA
1999
ACM
122views FPGA» more  FPGA 1999»
14 years 2 months ago
Exploiting FPGA-Features During the Emulation of a Fast Reactive Embedded System
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
Karlheinz Weiß, Thorsten Steckstor, Gernot K...
HYBRID
2005
Springer
14 years 3 months ago
The Discrete Time Behavior of Lazy Linear Hybrid Automata
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
Manindra Agrawal, P. S. Thiagarajan
TCS
2002
13 years 9 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...