Sciweavers

4164 search results - page 350 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ICIP
2007
IEEE
16 years 8 months ago
Analysis of the Decoding-Complexity of Compressed Image-Based Scene Representations
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
Ingo Bauermann, Eckehard G. Steinbach
220
Voted
TACAS
2010
Springer
221views Algorithms» more  TACAS 2010»
16 years 1 months ago
Trace-Based Symbolic Analysis for Atomicity Violations
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aart...
WSC
2004
15 years 8 months ago
Comparative Factory Analysis of Standard FOUP Capacities
Wafers in a 300-mm semiconductor fabrication facility are transported throughout the factory in carriers called front opening unified pods (FOUPs). Two standard capacities of FOUP...
Kranthi Mitra Adusumilli, Robert L. Wright
WOWMOM
2005
ACM
111views Multimedia» more  WOWMOM 2005»
16 years 10 days ago
Performance Analysis of the IEEE 802.11 MAC and Physical Layer Protocol
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
Mohammad Hossein Manshaei, Gion Reto Cantieni, Cha...
ANSS
2001
IEEE
15 years 10 months ago
Some Modest Proposals for Simulation Software: Design and Analysis of Experiments
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
W. David Kelton