4722 search results - page 502 / 945 » Encoding Program Executions |
130
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
137
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
132
click to vote
EUROPAR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. The serialization constraints induced by the detection and enforcement of true data dependences have always been regarded as requirements for correct execution. We propos...
130
click to vote
ECAL
1995
Springer
15 years 8 months ago
1995
Springer
We present a new self-reproducing cellular automaton capable of construction and computation beyond self-reproduction. Our automaton makes use of some of the concepts developed by...
130
Voted
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...