416 search results - page 50 / 84 » Correcting a Space-Efficient Simulation Algorithm |
136
click to vote
WSC
2007
15 years 4 months ago
2007
Statistical selection procedures can identify the best of a finite set of alternatives, where “best” is defined in terms of the unknown expected value of each alternative’...
120
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes an algorithm that allows Linux to perform multilevel load balancing in NUMA computers. The Linux scheduler implements a load balancing algorithm that uses str...
100
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
140
click to vote
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
113
click to vote
MOBICOM
2000
ACM
15 years 6 months ago
2000
ACM
We present Greedy Perimeter Stateless Routing (GPSR), a novel routing protocol for wireless datagram networks that uses the positions of routers and a packet’s destination to ma...