253 search results - page 14 / 51 » How to Transform an Analyzer into a Verifier |
134
Voted
SOSYM
2010
14 years 10 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
15 years 6 days 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 ...
91
Voted
GECCO
2004
Springer
15 years 5 months 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 ...
113
click to vote
IPPS
2007
IEEE
15 years 6 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...
94
Voted
ICIP
2007
IEEE
15 years 16 days 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...