1989 search results - page 194 / 398 » Set functions for functional logic programming |
132
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
137
Voted
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we revisit the FPGA architectural issue of the effect of logic block functionality on FPGA performance and density. In particular, in the context of lookup table, cl...
160
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
113
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
114
Voted
ICCAD
2007
IEEE
16 years 11 days ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...