4722 search results - page 92 / 945 » Encoding Program Executions |
132
click to vote
ACE
2004
15 years 3 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
146
click to vote
TII
2010
14 years 8 months ago
2010
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
119
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
132
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
122
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...