1216 search results - page 93 / 244 » Translation analysis and translation automation |
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
TGC
2010
Springer
13 years 6 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper provides a queueing analysis for the slotted Aloha network. We assume the use of an exponential backoff protocol. Most prior work on slotted Aloha focuses on the anal...
ADAEUROPE
2003
Springer
13 years 12 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...