Arthur J. Bernstein

Publication Activity (10 Years)

Years Active: 1962-2006
Publications (10 Years): 0

Publications

Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Completeness and realizability: conditions for automatic generation of workflows. Int. J. Found. Comput. Sci. 17 (1) (2006)
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Automatic workflow verification and generation. Theor. Comput. Sci. 353 (1-3) (2006)
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. ICWS (2004)
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
A model for abstract process specification, verification and composition. ICSOC (2004)
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
Correct Execution of Transactions at Different Isolation Levels. IEEE Trans. Knowl. Data Eng. 16 (9) (2004)
Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
Semantic Conditions for Correctness at Different Isolation Levels. ICDE (2000)
Arthur J. Bernstein, David Scott Gerstl, Philip M. Lewis
Concurrency control for step-decomposed transactions. Inf. Syst. 24 (8) (1999)
Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis
Design and Performance of an Assertional Concurrency Control System. ICDE (1998)
Arthur J. Bernstein, Philip M. Lewis
Transaction Decomposition Using Transaction Semantics. Distributed Parallel Databases 4 (1) (1996)
Gurdip Singh, Arthur J. Bernstein
A Highly Asynchronous Minimum Spanning Tree Protocol. Distributed Comput. 8 (3) (1995)
Narayanan Krishnakumar, Arthur J. Bernstein
Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. ACM Trans. Database Syst. 19 (4) (1994)
Narayanan Krishnakumar, Arthur J. Bernstein
High Throughput Escrow Algorithms for Replicated Databases. VLDB (1992)
Gurdip Singh, Arthur J. Bernstein
A Framework for Parallel Composition of Protocols. PARLE (1992)
Divyakant Agrawal, Arthur J. Bernstein
A Nonblocking Quorum Consensus Protocol for Replicated Data. IEEE Trans. Parallel Distributed Syst. 2 (2) (1991)
Gurdip Singh, Arthur J. Bernstein
On the relative execution times of distributed protocols. Int. J. Parallel Program. 20 (3) (1991)
Narayanan Krishnakumar, Arthur J. Bernstein
Bounded Ignorance in Replicated Systems. PODS (1991)
Soumitra Sengupta, Arthur J. Bernstein
Concurrency control optimizations in a prolog database. Int. J. Parallel Program. 19 (3) (1990)
Gurdip Singh, Arthur J. Bernstein
On the Relative Execution Times of Distributed Protocols. ICDCS (1990)
Arthur J. Bernstein
Predicate Transfer and Timeout in Message Passing Systems. Inf. Process. Lett. 24 (1) (1987)
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
Distributed Optimistic Concurrency Control with Reduced Rollback. Distributed Comput. 2 (1) (1987)
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta
Distributed Multi-Version Optimistic Concurrency Control for Relational Databases. COMPCON (1986)
Gene T. J. Wuu, Arthur J. Bernstein
Efficient Solutions to the Replicated Log and Dictionary Problems. ACM SIGOPS Oper. Syst. Rev. 20 (1) (1986)
Mustaque Ahamad, Arthur J. Bernstein
Multicast Communication in UNIX 4.2BSD. ICDCS (1985)
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
Multicast Communication on Network Computers. IEEE Softw. 2 (3) (1985)
Gene T. J. Wuu, Arthur J. Bernstein
False Deadlock Detection in Distributed Systems. IEEE Trans. Software Eng. 11 (8) (1985)
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
Maintaining Weakly-Consistent Replicated Data on Dynamic Groups of Computers. ICPP (1985)
Mustaque Ahamad, Arthur J. Bernstein
An Application of Name Based Addressing to Low Level Distributed Algorithms. IEEE Trans. Software Eng. 11 (1) (1985)
Arthur J. Bernstein
A Loosely Coupled Distributed System for Reliably Storing Data. IEEE Trans. Software Eng. 11 (5) (1985)
Gene T. J. Wuu, Arthur J. Bernstein
Efficient Solutions to the Replicated Log and Dictionart Problems. PODC (1984)
Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein
Group Communication on Netcomputers. ICDCS (1984)
Mauricio Arango, David Gelernter, Hussein G. Badr, Arthur J. Bernstein
Staged circuit switching for network computers. SIGCOMM (1983)
David Gelernter, Arthur J. Bernstein
Distributed Communication via Global Buffer. PODC (1982)
Arthur J. Bernstein, Paul K. Harter Jr.
Proving Real-Time Properties of Programs with Temporal Logic. SOSP (1981)
Arthur J. Bernstein, J. Robert Ensor
A Modula Based Language Supporting Hierarchical Development and Verification. Softw. Pract. Exp. 11 (3) (1981)
Arthur J. Bernstein
Output Guards and Nondeterminism in "Communicating Sequential Processes". ACM Trans. Program. Lang. Syst. 2 (2) (1980)
Kattamuri Ekanadham, Arthur J. Bernstein
Conditional Capabilities. IEEE Trans. Software Eng. 5 (5) (1979)
Arthur J. Bernstein, Fred B. Schneider
On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems. Jerusalem Conference on Information Technology (1978)
Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz
Conditions for the Equivalence of Synchronous and Asynchronous Systems. IEEE Trans. Software Eng. 4 (6) (1978)
Fred B. Schneider, Arthur J. Bernstein
Scheduling in Concurrent Pascal. ACM SIGOPS Oper. Syst. Rev. 12 (2) (1978)
Kattamuri Ekanadham, Arthur J. Bernstein
Some New Transitions In Hierarchical Level Structures. ACM SIGOPS Oper. Syst. Rev. 12 (4) (1978)
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
Extending Concurrent Pascal to Allow Dynamic Resource Management. IEEE Trans. Software Eng. 3 (3) (1977)
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). ICSE (1976)
Arthur J. Bernstein
Synthesizing a Response Function with a Feedback Scheduling Algorithm. SIAM J. Comput. 5 (2) (1976)
Arthur J. Bernstein, Paul Siegel
A Computer Architecture for Level Structured Systems. IEEE Trans. Computers 24 (8) (1975)
Eralp A. Akkoyunlu, Arthur J. Bernstein, Richard E. Schantz
Interprocess communication facilities for network operating systems. Computer 7 (6) (1974)
Y. S. Chua, Arthur J. Bernstein
Analysis of a Feedback Scheduler. SIAM J. Comput. 3 (3) (1974)
Arthur J. Bernstein, J. C. Sharp
A Policy-Driven Scheduler for a Time-Sharing System. Commun. ACM 14 (2) (1971)
Arthur J. Bernstein
A Programmer Training Project. Commun. ACM 14 (7) (1971)
Arthur J. Bernstein
Comment on the working set model for program behavior. Commun. ACM 13 (11) (1970)
Arthur J. Bernstein, G. D. Detlefsen, R. H. Kerr
Process control and communication. SOSP (1969)
Arie Shoshani, Arthur J. Bernstein
Synchronization in a parallel-accessed data base. Commun. ACM 12 (11) (1969)
John P. Robinson, Arthur J. Bernstein
A class of binary recurrent codes with limited error propagation. IEEE Trans. Inf. Theory 13 (1) (1967)
Arthur J. Bernstein
Analysis of Programs for Parallel Processing. IEEE Trans. Electron. Comput. 15 (5) (1966)
Arthur J. Bernstein, Kenneth Steiglitz, John E. Hopcroft
Encoding of analog signals for binary symmetric channels. IEEE Trans. Inf. Theory 12 (4) (1966)
Arthur J. Bernstein
Reducing variable dependency in combinational circuits SWCT (1964)
G. L. Hicks, Arthur J. Bernstein
On the minimum stage realization of switching functions using logic gates with limited fan-in SWCT (1964)
Arthur J. Bernstein, Wan H. Kim
Single- and double-adjacent error-correcting codes for arithmetic units (Corresp.). IEEE Trans. Inf. Theory 9 (3) (1963)
Arthur J. Bernstein, Wan H. Kim
Linear codes for single error correction in symmetric and asymmetric computational processes. IRE Trans. Inf. Theory 8 (1) (1962)