1806 search results - page 162 / 362 » Randomness and halting probabilities |
TOOLS
2010
IEEE
14 years 3 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
IEEEMSP
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract—Traditionally, random access protocols have been designed and studied by assuming simple models for the physical layer. We introduce a reception model that incorporates ...
ISCC
2000
IEEE
14 years 2 months ago
2000
IEEE
We consider the adaptation of random early detection (RED) as a buffer management algorithm for TCP traffic in Internet gateways where different maximum transfer units (MTUs) are ...
ISIPTA
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper shows that a "principle of complete ignorance" plays a central role in decisions based on Dempster belief functions. Such belief functions occur when, in a fi...
SPAA
1994
ACM
14 years 2 months ago
1994
ACM
We present a work-optimal randomized algorithm for simulating a shared memory machine (pram) on an optical communication parallel computer (ocpc). The ocpc model is motivated by t...