598 search results - page 13 / 120 » Procedure Based Program Compression |
126
Voted
CASES
2005
ACM
15 years 1 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
89
Voted
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
91
Voted
VLSID
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
83
Voted
AMAI
2005
Springer
14 years 11 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
85
Voted
CSL
1995
Springer
15 years 3 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...