1077 search results - page 98 / 216 » Hardware code generation from dataflow programs |
118
click to vote
LFP
1992
15 years 2 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
111
click to vote
CONCURRENCY
2007
15 years 1 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
125
click to vote
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
153
click to vote
VEE
2006
ACM
15 years 7 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
125
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...