BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bernstein:Arthur_J=

Contributed to:

VLDB 19921992
PODS 19911991
SOSP 19811981
ICSE 19761976
SOSP 19691969

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.