Sciweavers

231 search results - page 10 / 47
» Using Analytic CLP to Model and Analyze Hybrid Systems
Sort
View
HICSS
2000
IEEE
146views Biometrics» more  HICSS 2000»
13 years 12 months ago
Transmission of MPEG-2 Encoded VoD Services over Wireless Access Networks Using Type-II Hybrid ARQ Schemes with RCPC Codes
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...
Hairuo Ma, Magda El Zarki
ISLPED
2006
ACM
145views Hardware» more  ISLPED 2006»
14 years 1 months ago
An optimal analytical solution for processor speed control with thermal constraints
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...
Ravishankar Rao, Sarma B. K. Vrudhula, Chaitali Ch...
TSMC
2008
113views more  TSMC 2008»
13 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ICCAD
2006
IEEE
125views Hardware» more  ICCAD 2006»
14 years 4 months ago
Performance analysis of concurrent systems with early evaluation
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
Jorge Júlvez, Jordi Cortadella, Michael Kis...
ISCI
2007
105views more  ISCI 2007»
13 years 7 months ago
Cost modeling of spatial operators using non-parametric regression
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
Songtao Jiang, Byung Suk Lee, Zhen He