Write in a clean editor, then format for ACM SIGMINI Newsletter in one click — DocuGuru applies the official ACM template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
ACM SIGMINI Newsletter is a peer-reviewed journal published by ACM, covering Distributed and Parallel Computing Systems, Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques.
| Publisher | ACM |
|---|---|
| Reference style | Numbered (ACM) Numbered — [1], [2] in the text [1] Ada Smith, Ben Jones, and Cara Lee. 2023. A representative article title. ACM SIGMINI Newsletter 12, 3, Article 45 (2023).
Formats any DOI in ACM SIGMINI Newsletter style. No sign-up. |
| Publishes research in | Distributed and Parallel Computing Systems Parallel Computing and Optimization Techniques Embedded Systems Design Techniques Cloud Computing and Resource Management Advanced Data Storage Technologies |
| ISSN | 0163-576X |
| h-index | 5 |
| i10-index | 2 |
| Total citations | 132 |
| Top institutions publishing here | Oregon State University |
| Journal website | catalog.hathitrust.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
If asked to name every programming language he knows, a person who considers himself knowledgeable in computers should be able to name at least ten. The list probably breaks down into three categories; those which he speaks, those which he does not speak but whose purpose is known, and those for which even the meaning…
This paper describes the multi-tasking capabilities of a new microprocessor programming language that has been designed to support process control applications. A program in TOMAL is a collection of tasks, priority ordered, and possibly having real-time response constraints and internal synchronization statements. It also supports device-independent I/O programming, by allowing the characteristics of each external…
UCSD PASCAL is a complete interactive software system for small computers, yet it offers many features normally found only on medium and large scale machines. It is designed to operate, with minimal adaptation, on most micro or mini computers based on 8-bit bytes and/or 16-bit words. Supported versions are available for use on machines based…
The MUMPS programming system was designed and developed to facilitate shared conversational access to a hierarchically-organized data base on a small computer. The MUMPS language, which has recently been standardized, contains features for numeric and string operations, along with a built-in file system called globals, embedded in a multiprogrammed execution environment. This paper gives an…
Over the past five years, our research efforts have been devoted in large part to developing techniques for proving the correctness of assembly-language and machine-language programs running on actual computers. In this paper, we report upon an effort to put this work into practice by proving the correctness of a program written for the Litton…
ACM Transactions on Cyber-Physical Systems
ACM Transactions on Human-Robot Interaction
ACM Transactions on Management Information Systems
ACM Transactions on Probabilistic Machine Learning
ACM Transactions on Software Engineering and Methodology
Distributed Ledger Technologies: Research and Practice
Proceedings of the ACM on Human-Computer Interaction
ACM AI Letters
