10707 search results - page 68 / 2142 » Designing executable abstractions |
112
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
132
click to vote
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
113
click to vote
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
118
click to vote
BPM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
119
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...