Sciweavers

1917 search results - page 341 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
APSCC
2008
IEEE
16 years 4 hour ago
Hop-by-Hop TCP over MANET
In a MANET environment, communication links are unstable due to various reasons. Error rate is higher and bandwidth is smaller than fixed networks. Running conventional TCP protoco...
Yao-Nan Lien, Yi-Fan Yu
CCGRID
2008
IEEE
16 years 1 hour ago
A Stable Broadcast Algorithm
—Distributing large data to many nodes, known as a broadcast or a multicast, is an important operation in parallel and distributed computing. Most previous broadcast algorithms e...
Kei Takahashi, Hideo Saito, Takeshi Shibata, Kenji...
CGO
2008
IEEE
15 years 12 months ago
Cole: compiler optimization level exploration
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
Kenneth Hoste, Lieven Eeckhout
FDL
2008
IEEE
15 years 12 months ago
Contradiction Analysis for Constraint-based Random Simulation
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
Daniel Große, Robert Wille, Robert Siegmund,...
151
Voted
ICNS
2008
IEEE
15 years 12 months ago
Towards QoS Improvements of TCP-Based Media Delivery
—The amount of audiovisual data available on the Internet and thus of multimedia communication over today’s networks is increasing at a rapid pace. Despite the availability of ...
Martin Prangl, Ingo Kofler, Hermann Hellwagner