1127 search results - page 214 / 226 » Value Compression for Efficient Computation |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
Source Code
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind :
Usefulness
CImg defines classes and methods to manage images in y...
ARITH
2007
IEEE
13 years 11 months ago
2007
IEEE
The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] was revised [2], and an important addition is the definition of decimal floating-point arithmetic. This is inte...
HPCC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
GLVLSI
2007
IEEE
13 years 9 months ago
2007
IEEE
We present a vector selection methodology for estimating the peak power dissipation in a CMOS logic circuit. The ultimate goal is to combine the speed of RT-level simulation with ...