4722 search results - page 578 / 945 » Encoding Program Executions |
135
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
169
click to vote
VISSOFT
2002
IEEE
15 years 9 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
108
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
133
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
115
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...