×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [safety property]
Home >
safety property
Fast Mutex Lamport
51 views
Fachbereich Informatik SVS – Sicherheit in Verteilten Systemen Universität Hamburg Preventing Buffer Overflows (and more) An overview of scientific approaches.
214 views
2. an adaptive programming model for fault tolerant distributed computing
629 views
PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013.
214 views
CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins)
220 views
More on PSL some examples, some pitfalls. start idlep1p2p3 continue done cancel FSM.
226 views
Run-Time Guarantees for Real-Time Systems Reinhard Wilhelm Saarbrücken.
221 views
CS711: Reference Monitors Part 1: OS & SFI Greg Morrisett Cornell University.
222 views
Computer Science 425 Distributed Systems (Fall 2009) Lecture 5 Multicast Communication Reading: Section 12.4 Klara Nahrstedt.
228 views
More on PSL
39 views
The DHCP Failover Protocol A Formal Perspective Rui FanMIT Ralph Droms Cisco Systems Nancy GriffethCUNY Nancy LynchMIT.
222 views
Hybrid Program Analysis for Error Detection
32 views
Next >