4722 search results - page 244 / 945 » Encoding Program Executions |
160
click to vote
PDCN
2004
15 years 7 months ago
2004
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
240
click to vote
JCS
1998
15 years 6 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
191
click to vote
FAC
2010
15 years 5 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
163
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
155
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...