Sciweavers

1075 search results - page 80 / 215
» Calculating the Number of Tunnels
Sort
View
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
14 years 4 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
DATE
2006
IEEE
76views Hardware» more  DATE 2006»
14 years 4 months ago
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
Zhongwen Li, Hong Chen, Shui Yu
HPCS
2006
IEEE
14 years 4 months ago
Simulations of Disordered Bosons on Hyper-Cubic Lattices
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
Peter Hitchcock, Erik S. Sørensen
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
14 years 4 months ago
An Efficient Criterion for Mode Decision in H.264/AVC
In this paper, an efficient cost function for mode decision in H.264/AVC is proposed. The proposed cost function is based on integer transform coefficients, where the rate and the...
Yu-Kuang Tu, Jar-Ferr Yang, Ming-Ting Sun
IISWC
2006
IEEE
14 years 4 months ago
Characterization of Scientific Workloads on Systems with Multi-Core Processors
Multi-core processors are planned for virtually all next-generation HPC systems. In a preliminary evaluation of AMD Opteron Dual-Core processor systems, we investigated the scaling...
Sadaf R. Alam, Richard F. Barrett, Jeffery A. Kueh...