453 search results - page 77 / 91 » Using Symbolic Simulation for Bounded Property Checking |
113
click to vote
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we propose a buffer cache algorithm to build a cost effective storage server for real time news objects. In a News On Demand Server, the number of concurrent stream...
104
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract-- An elementary combinatorial Tanner graph construction for a family of near-regular low density parity check (LDPC) codes achieving high girth is presented. These codes a...
129
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
137
Voted
COLT
2001
Springer
15 years 6 months ago
2001
Springer
The Kushilevitz-Mansour (KM) algorithm is an algorithm that finds all the “large” Fourier coefficients of a Boolean function. It is the main tool for learning decision trees ...
107
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...