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

15 years 10 months ago

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Slobodan Matic, Robert K. Brayton

claim paper

Read More »

138

click to vote

GIS
2008
ACM

117views Automated Reasoning» more GIS 2008»

HOMES: highway operation monitoring and evaluation system

15 years 10 months ago

Download www.ncr.vt.edu

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

claim paper

Read More »

Voted

DAC
2003
ACM

146views Computer Architecture» more DAC 2003»

Architecture-level performance evaluation of component-based embedded systems

15 years 10 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)

15 years 10 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers