Search Sciweavers | Sciweavers

3066 search results - page 32 / 614

» On Facilitating Automated Evaluation

click to vote

DAC
2003
ACM

115views Computer Architecture» more DAC 2003»

Generalized cofactoring for logic function evaluation

14 years 8 months ago

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Slobodan Matic, Robert K. Brayton

claim paper

Read More »

click to vote

GIS
2008
ACM

117views Automated Reasoning» more GIS 2008»

HOMES: highway operation monitoring and evaluation system

14 years 8 months ago

Download www.ncr.vt.edu

Chang-Tien Lu, Arnold P. Boedihardjo, Jing Dai, Fe...

claim paper

Read More »

click to vote

DAC
2003
ACM

146views Computer Architecture» more DAC 2003»

Architecture-level performance evaluation of component-based embedded systems

14 years 8 months ago

Download users.ece.utexas.edu

Jeffry T. Russell, Margarida F. Jacome

claim paper

Read More »

click to vote

CADE
2008
Springer

115views Logical Reasoning» more CADE 2008»

Evaluation of Systems for Higher-order Logic (ESHOL)

14 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Christoph Benzmüller, Florian Rabe, Carsten S...

claim paper

Read More »

click to vote

FLOPS
2010
Springer

262views Automated Reasoning» more FLOPS 2010»

Defunctionalized Interpreters for Call-by-Need Evaluation

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers