4722 search results - page 410 / 945 » Encoding Program Executions |
176
click to vote
WSC
1997
15 years 8 months ago
1997
Effective and timely execution of the Department of Defense’s (DoD) Program Objective Memorandum (POM) and Joint Warfare Capability Assessment (JWCA) process requires objective...
154
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
178
click to vote
CACM
2010
15 years 6 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
175
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...