15614 search results - page 115 / 3123 » The State of State |
106
click to vote
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
115
Voted
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper focus on the testbed experimentation of a meshed tree routing algorithm with local link state for Wireless Personal Area networks (WPANs) based on current IEEE 802.1...
119
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
145
Voted
PG
2003
IEEE
15 years 6 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
99
Voted
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...