Search Sciweavers | Sciweavers

3457 search results - page 160 / 692

» A Symbol Is Not a Symbol

131

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 10 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

141

click to vote

ISSAC
1999
Springer

113views Mathematics» more ISSAC 1999»

Symbolic Computation in Java: An Appraisement

15 years 10 months ago

Download www4.ncsu.edu

Laurent Bernardin, Bruce W. Char, Erich Kaltofen

claim paper

Read More »

click to vote

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

15 years 10 months ago

Download bears.ece.ucsb.edu

Steve Haynal, Forrest Brewer

claim paper

Read More »

151

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

15 years 10 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

142

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers