Sciweavers

12084 search results - page 52 / 2417
» Effect Systems with Subtyping
Sort
View
DSN
2005
IEEE
14 years 2 months ago
Effective Testing and Debugging Techniques for a Group Communication System
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Kri...
ICSAP
2010
14 years 24 days ago
The Effect of Subcarrier-Based Channel Estimation on the BER Bound of Turbo Coded OFDM/SDMA System
—In this paper, we study the performance of the channel estimation in a Turbo coded, orthogonal frequency division multiplexing (OFDM) with multiple antennas at the receiver. We ...
Y. Taghinia, Gholamreza Dadashzadeh, Esrafil Jedar...
CCGRID
2003
IEEE
14 years 2 months ago
Improved Read Performance in a Cost-Effective, Fault-Tolerant Parallel Virtual File System (CEFT-PVFS)
Due to the ever-widening performance gap between processors and disks, I/O operations tend to become the major performance bottleneck of data-intensive applications on modern clus...
Yifeng Zhu, Hong Jiang, Xiao Qin, Dan Feng, David ...
VISUALIZATION
2003
IEEE
14 years 2 months ago
LightKit: A lighting system for effective visualization
LightKit is a system for lighting three-dimensional synthetic scenes. LightKit simplifies the task of producing visually pleasing, easily interpretable images for visualization w...
Michael Halle, Jeanette C. Meng
PLDI
2003
ACM
14 years 2 months ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer