2979 search results - page 232 / 596 » Computation and the Periodic Table |
128
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
169
Voted
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techn...
195
click to vote
PRDC
2007
IEEE
16 years 28 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
167
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
Models of forest ecosystems are needed to understand how climate and land-use change can impact biodiversity. In this paper we describe an individual-based, spatially-explicit for...
163
Voted
DIS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...