Sciweavers

797 search results - page 88 / 160
» Timed Control with Partial Observability
Sort
View
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 5 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
81
Voted
AUTOMATICA
2010
122views more  AUTOMATICA 2010»
15 years 21 days ago
On the algebraic characterization of invariant sets of switched linear systems
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
Pierre Riedinger, Mario Sigalotti, Jamal Daafouz
85
Voted
MASCOTS
2001
15 years 1 months ago
How Does TCP Generate Pseudo-Self-Similarity?
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
Liang Guo, Mark Crovella, Ibrahim Matta
89
Voted
AUSAI
2005
Springer
15 years 6 months ago
Adaptive Utility-Based Scheduling in Resource-Constrained Systems
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
David Vengerov
RTSS
1997
IEEE
15 years 4 months ago
Response-time guarantees in ATM networks
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...
Andreas Ermedahl, Hans Hansson, Mikael Sjödin