4722 search results - page 655 / 945 » Encoding Program Executions |
112
Voted
PACT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
115
Voted
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
123
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
109
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents. In XMARS, agents coordinate – both with each other and with...
102
Voted
ITICSE
1999
ACM
15 years 8 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...