Search Sciweavers | Sciweavers

This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...

Hiroyuki Higuchi, Fabio Somenzi

claim paper

Read More »

105

click to vote

ADAEUROPE
1999
Springer

84views Software Engineering» more ADAEUROPE 1999»

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

15 years 10 months ago

Download www.auto.tuwien.ac.at

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

124

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 10 months ago

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

123

click to vote

ECAL
1999
Springer

81views Artificial Intelligence» more ECAL 1999»

Modeling the Evolution of Communication: From Stimulus Associations to Grounded Symbolic Associations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers