359 search results - page 21 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
144
Voted
EHCI
1998
15 years 4 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
94
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
125
Voted
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
120
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...