4722 search results - page 594 / 945 » Encoding Program Executions |
147
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
150
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
151
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
145
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
169
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...