2076 search results - page 250 / 416 » Functional logic overloading |
98
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
122
click to vote
IFL
2005
Springer
15 years 9 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
126
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
132
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
178
click to vote
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...