Search Sciweavers | Sciweavers

5863 search results - page 82 / 1173

» Calculating Functional Programs

click to vote

DAC
1998
ACM

160views Computer Architecture» more DAC 1998»

Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability

14 years 11 months ago

Download reference.kfupm.edu.sa

Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...

Farzan Fallah, Srinivas Devadas, Kurt Keutzer

claim paper

Read More »

click to vote

IWPC
2009
IEEE

133views Software Engineering» more IWPC 2009»

Reading the documentation of invoked API functions in program comprehension

14 years 4 months ago

Download www.cs.cmu.edu

Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...

Uri Dekel, James D. Herbsleb

claim paper

Read More »

click to vote

EWC
2000

90views more EWC 2000»

Function in Device Representation

13 years 10 months ago

Download www.cse.ohio-state.edu

We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...

B. Chandrasekaran, John R. Josephson

claim paper

Read More »

click to vote

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

14 years 4 months ago