1453 search results - page 211 / 291 » State and history in operating systems |
112
Voted
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
124
Voted
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
113
click to vote
SI3D
1995
ACM
15 years 4 months ago
1995
ACM
This paper describes VOL2, an interactive general-purpose volume renderer based on ray casting and implemented on Pixel-Planes 5, a distributed-memory, message-passing multicomput...
92
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...