526 search results - page 29 / 106 » Towards the Verifying Compiler |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
DATE
2011
IEEE
13 years 1 months ago
2011
IEEE
Current processors are optimized for average case performance, often leading to a high worst-case execution time (WCET). Many architectural features that increase the average case...
PLSA
1994
14 years 1 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
PADL
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ICWS
2003
IEEE
13 years 11 months ago
2003
IEEE
— The relation between DAML-S, a language for the description of Web services grounded in the Semantic Web, and the growing Web services infrastructure based on WSDL is, by an la...