210 search results - page 36 / 42 » Widening Integer Arithmetic |
143
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
Abstract—We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs predic...
155
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Pseudo-random number generators (PRNG) have been intensively used in many stochastic algorithms in artificial intelligence, computer graphics and other scientific computing. ...
126
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
157
click to vote
ACIVS
2006
Springer
15 years 11 months ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...
146
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...