253 search results - page 14 / 51 » How to Transform an Analyzer into a Verifier |
SOSYM
2010
13 years 5 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
CC
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
We present a covariant form for genetic dynamics and show how different formulations are simply related by linear coordinate transformations. In particular, in the context of the ...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...
ICIP
2007
IEEE
13 years 7 months ago
2007
IEEE
The H.264 hypothetical reference decoder (HRD) ensures interoperability and smooth playback of video. Because the encoded bit rate may not match the channel rate, buffering and ti...