1040 search results - page 82 / 208 » Controlling Aspect Reentrancy |
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
107
click to vote
RTSS
1999
IEEE
15 years 3 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
ACSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
109
click to vote
KES
1998
Springer
15 years 3 months ago
1998
Springer
The architectural and circuit design aspects of a mixed analog/digital very large scale integration (VLSI) motion detection chip based on models of the insect visual system are des...
CINQ
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...