598 search results - page 7 / 120 » Procedure Based Program Compression |
114
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
86
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a procedure for designing an LFSRbased circuit for masking of unknown output values that appear in the output response of a circuit tested using LBIST. The procedure is...
128
Voted
CASES
2010
ACM
14 years 11 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
110
Voted
DCC
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a general-purpose, lossless compressor for streaming data. This compressor is based on the deplump probabilistic compressor for batch data. Approximations to the infere...
103
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...