Travelled to:1 × Canada
4 × USA
Collaborated with:N.Krishnakumar P.K.H.Jr. A.Silberschatz R.B.Kieburtz G.D.Detlefsen R.H.Kerr
Talks about:replic (2) throughput (1) algorithm (1) properti (1) communic (1) resourc (1) program (1) process (1) databas (1) control (1)
Person: Arthur J. Bernstein
DBLP: Bernstein:Arthur_J=
Contributed to:
1992
1991
1981
19761969Wrote 5 papers:
- VLDB-1992-KrishnakumarB #algorithm #database #throughput
- High Throughput Escrow Algorithms for Replicated Databases (NK, AJB), pp. 175–186.
- PODS-1991-KrishnakumarB #bound
- Bounded Ignorance in Replicated Systems (NK, AJB), pp. 63–74.
- SOSP-1981-BernsteinH #logic #proving #realtime #source code
- Proving Real-Time Properties of Programs with Temporal Logic (AJB, PKHJ), pp. 1–11.
- ICSE-1976-SilberschatzKB #concurrent #pascal #resource management
- Extending Concurrent Pascal to Allow Dynamic Resource Management (AS, RBK, AJB), p. 236.
- SOSP-1969-BernsteinDK #communication #process
- Process control and communication (AJB, GDD, RHK), pp. 60–66.