Search Sciweavers | Sciweavers

3457 search results - page 136 / 692

» A Symbol Is Not a Symbol

122

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

16 years 7 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

click to vote

DAC
2001
ACM

105views Computer Architecture» more DAC 2001»

Using Symbolic Algebra in Algorithmic Level DSP Synthesis

16 years 7 months ago

Download si2.epfl.ch

Armita Peymandoust, Giovanni De Micheli

claim paper

Read More »

133

click to vote

DAC
2002
ACM

86views Computer Architecture» more DAC 2002»

Efficient state representation for symbolic simulation

16 years 7 months ago

Download www.eecs.umich.edu

Valeria Bertacco, Kunle Olukotun

claim paper

Read More »

105

click to vote

DAC
2002
ACM

111views Computer Architecture» more DAC 2002»

Complex library mapping for embedded software using symbolic algebra

16 years 7 months ago

Download si2.epfl.ch

Armita Peymandoust, Giovanni De Micheli, Tajana Si...

claim paper

Read More »

118

click to vote

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers