Lack of effective MIS hinders organizational development

JOURNAL ARTICLE published April 1983 in ACM SIGMIS Database: the DATABASE for Advances in Information Systems

Authors: U. Modum

The revenge of the JD

PROCEEDINGS ARTICLE published 1983 in Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '83

Authors: David Maier | Jeffrey D. Ullman | Moshe Y. Vardi

The revenge of the JD

PROCEEDINGS ARTICLE published 1983 in Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '83

Authors: David Maier | Jeffrey D. Ullman | Moshe Y. Vardi

On the design of a query processing strategy in a distributed database environment

JOURNAL ARTICLE published May 1983 in ACM SIGMOD Record

Authors: C. T. Yu | C. C. Chang

Mechanical verification of a data transport protocol

JOURNAL ARTICLE published April 1983 in ACM SIGCOMM Computer Communication Review

Authors: Benedetto L. Di Vito

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes

JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic

Authors: Konstantinos Mamouras

A Tree Structured Architecture for semantic gap reduction

JOURNAL ARTICLE published September 1983 in ACM SIGARCH Computer Architecture News

Authors: Arieh Plotkin | Daniel Tabak

Synchronizing multiple database processes in a tightly coupled multiprocessor environment

JOURNAL ARTICLE published January 1983 in ACM SIGOPS Operating Systems Review

Authors: Peter Peinl | Andreas Reuter

On the design of Always Compatible Instruction Set Architecture(ACISA)

JOURNAL ARTICLE published December 1983 in ACM SIGARCH Computer Architecture News

Authors: M. R. Bhujade

Connecting a minicomputer to an X.25 network

JOURNAL ARTICLE published January 1983 in ACM SIGCOMM Computer Communication Review

Authors: Andrzej Ciepielewski | Thomas Jungefeldt | Jan Linnéll

Efficient Parallel 3D Computation of the Compressible Euler Equations with an Invariant-domain Preserving Second-order Finite-element Scheme

JOURNAL ARTICLE published 30 September 2021 in ACM Transactions on Parallel Computing

Research funded by NSF (DMS-1912847) | Gauss Centre for Supercomputing e.V. (pr83te) | Lawrence Livermore National Laboratory, the Air Force Office of Scientific Research, USAF (FA9550-15-1-0257)

Authors: Matthias Maier | Martin Kronbichler

Experiences with VI communication for database storage

JOURNAL ARTICLE published May 2002 in ACM SIGARCH Computer Architecture News

Authors: Yuanyuan Zhou | Angelos Bilas | Suresh Jagannathan | Cezary Dubnicki | James F. Philbin | Kai Li

Designing Low-Complexity Heavy-Traffic Delay-Optimal Load Balancing Schemes

JOURNAL ARTICLE published 19 December 2017 in Proceedings of the ACM on Measurement and Analysis of Computing Systems

Research funded by National Science Foundation (CNS-1446582,CNS-1719371,1717060) | Office of Naval Research (N00014-17-1-2417) | Army Research Office (W911NF-14-1-0368)

Authors: Xingyu Zhou | Fei Wu | Jian Tan | Yin Sun | Ness Shroff

SADPonzi: Detecting and Characterizing Ponzi Schemes in Ethereum Smart Contracts

JOURNAL ARTICLE published June 2021 in Proceedings of the ACM on Measurement and Analysis of Computing Systems

Authors: Weimin Chen | Xinran Li | Yuting Sui | Ningyu He | Haoyu Wang | Lei Wu | Xiapu Luo