Sciweavers

118 search results - page 3 / 24
» Worst-case analysis of discrete systems based on conditional...
Sort
View
DAC
2005
ACM
16 years 2 months ago
Segregation by primary phase factors: a full-wave algorithm for model order reduction
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...
Thomas J. Klemas, Luca Daniel, Jacob K. White
ICC
2007
IEEE
15 years 7 months ago
Maximum-Likelihood Receivers for FFH/BFSK Systems with Multitone Jamming over Frequency-Selective Rayleigh Fading Channels
Abstract— In this paper, we have investigated the maximumlikelihood (ML) receivers for the fast frequency-hopped binary frequency-shift-keying (FFH/BFSK) spread-spectrum communic...
Tsan-Ming Wu, Po-Chin Hung
WADS
2001
Springer
182views Algorithms» more  WADS 2001»
15 years 5 months ago
On the Complexity of Scheduling Conditional Real-Time Code
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
Samarjit Chakraborty, Thomas Erlebach, Lothar Thie...
CJ
2010
150views more  CJ 2010»
14 years 10 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 6 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...