Sciweavers

562 search results - page 20 / 113
» Distinguishing between cause and effect
Sort
View
IWCMC
2006
ACM
14 years 2 months ago
Effect of payload length variation and retransmissions on multimedia in 802.11a WLANs
Multimedia transmission over wireless local area networks is challenging due to the varying nature of the wireless channel as well as the inherent difference between multimedia a...
Sayantan Choudhury, Irfan Sheriff, Jerry D. Gibson...
PLDI
2003
ACM
14 years 1 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
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
14 years 19 days ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah
CASCON
1993
106views Education» more  CASCON 1993»
13 years 9 months ago
The use of process clustering in distributed-system event displays
When debugging a distributed application, a display showing the events causing interactions between processes can be very useful. If the number of processes is large, displaying a...
David J. Taylor
BMCBI
2006
108views more  BMCBI 2006»
13 years 8 months ago
NOXclass: prediction of protein-protein interaction types
Background: Structural models determined by X-ray crystallography play a central role in understanding protein-protein interactions at the molecular level. Interpretation of these...
Hongbo Zhu, Francisco S. Domingues, Ingolf Sommer,...