11168 search results - page 1840 / 2234 » Abstract State Processes |
156
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
143
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
123
Voted
CIKM
1999
Springer
15 years 7 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
150
Voted
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
118
Voted
ICNP
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we propose an "on demand" multicast routing protocol for a wireless, mobile, multihop network. The proposed scheme has two key features: (a) it is based on...