Sciweavers

3169 search results - page 122 / 634
» Robust Timed Automata
Sort
View
SCL
2008
68views more  SCL 2008»
13 years 10 months ago
Nonuniform in time state estimation of dynamic systems
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
Iasson Karafyllis, Costas Kravaris
INFOCOM
2009
IEEE
14 years 4 months ago
Time Valid One-Time Signature for Time-Critical Multicast Data Authentication
Abstract—It is challenging to provide authentication to timecritical multicast data, where low end-to-end delay is of crucial importance. Consequently, it requires not only effi...
Qiyan Wang, Himanshu Khurana, Ying Huang, Klara Na...
VLSID
2008
IEEE
83views VLSI» more  VLSID 2008»
14 years 10 months ago
Efficient Linear Macromodeling via Discrete-Time Time-Domain Vector Fitting
We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...
Chi-Un Lei, Ngai Wong
DATE
2009
IEEE
89views Hardware» more  DATE 2009»
14 years 4 months ago
Robust non-preemptive hard real-time scheduling for clustered multicore platforms
—Scheduling task graphs under hard (end-to-end) timing constraints is an extensively studied NP-hard problem of critical importance for predictable software mapping on Multiproce...
Michele Lombardi, Michela Milano, Luca Benini
WADS
2007
Springer
131views Algorithms» more  WADS 2007»
14 years 4 months ago
On the Robustness of Graham's Algorithm for Online Scheduling
While standard parallel machine scheduling is concerned with good assignments of jobs to machines, we aim to understand how the quality of an assignment is affected if the jobs’...
Michael Gatto, Peter Widmayer