Sciweavers

15644 search results - page 2713 / 3129
» Brittle System Analysis
Sort
View
QEST
2006
IEEE
16 years 26 days ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
182
Voted
RTSS
2006
IEEE
16 years 26 days ago
An Optimal Real-Time Scheduling Algorithm for Multiprocessors
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
179
Voted
SCAM
2006
IEEE
16 years 26 days ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
192
Voted
SUTC
2006
IEEE
16 years 26 days ago
Power-aware Node Deployment in Wireless Sensor Networks
Sensor networks have attracted intensive interests due to its extendable capability. In this paper, we attempt to answer a fundamental but practical question:” how should we dep...
Yunhuai Liu, Hoilun Ngan, Lionel M. Ni
VTC
2006
IEEE
16 years 26 days ago
Reduction of Amplitude Clipping Level with OFDM/TDM
—The OFDM signals have a problem of high peak-to-average power ratio (PAPR). Hence, a large transmit-power backoff or amplitude clipping is required. The amplitude clipping cause...
Haris Gacanin, Shinsuke Takaoka, Fumiyuki Adachi
« Prev « First page 2713 / 3129 Last » Next »