7167 search results - page 111 / 1434 » A Technique for Invariant Generation |
173
click to vote
IC
2000
15 years 7 months ago
2000
This paper gives an account of the practical experiences made in generating special statistical information of web server logs. It emphasizes the problem of combining different dat...
138
click to vote
WSC
1997
15 years 7 months ago
1997
We propose a new estimator for some performance measures obtained from a regenerative simulation of a discrete-time Markov chain. Our new estimator is based on the idea of generat...
190
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
215
click to vote
IFIPPACT
1994
15 years 7 months ago
1994
: Advanced architectural features of microprocessors like instruction level parallelism and pipelined functional hardware units require code generation techniques beyond the scope ...
204
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...