Sciweavers

5962 search results - page 1010 / 1193
» Working with Patterns and Code
Sort
View
MOBIHOC
2003
ACM
16 years 3 months ago
SHARP: a hybrid adaptive routing protocol for mobile ad hoc networks
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
Venugopalan Ramasubramanian, Zygmunt J. Haas, Emin...
135
Voted
MOBIHOC
2003
ACM
16 years 3 months ago
On the capacity improvement of ad hoc wireless networks using directional antennas
The capacity of ad hoc wireless networks is constrained by the interference between concurrent transmissions from neighboring nodes. Gupta and Kumar have shown that the capacity o...
Su Yi, Yong Pei, Shivkumar Kalyanaraman
168
Voted
EUROSYS
2007
ACM
16 years 1 months ago
Competitive prefetching for concurrent sequential I/O
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...
Chuanpeng Li, Kai Shen, Athanasios E. Papathanasio...
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 25 days ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
170
Voted
WWW
2010
ACM
15 years 11 months ago
Stop thinking, start tagging: tag semantics emerge from collaborative verbosity
Recent research provides evidence for the presence of emergent semantics in collaborative tagging systems. While several methods have been proposed, little is known about the fact...
Christian Körner, Dominik Benz, Andreas Hotho...
« Prev « First page 1010 / 1193 Last » Next »