2943 search results - page 474 / 589 » Software Implementation of Synchronous Programs |
PTS
2010
15 years 15 days ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
116
click to vote
FORTE
2009
14 years 12 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
151
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
203
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
114
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...