21094 search results - page 3965 / 4219 » An experiment using DLV-K |
202
click to vote
FPGA
2012
ACM
14 years 2 months ago
2012
ACM
In floating-point datapaths synthesized on FPGAs, the shifters that perform mantissa alignment and normalization consume a disproportionate number of LUTs. Shifters are implemente...
200
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
218
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
208
click to vote
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
14 years 2 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
178
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...