Rust is a new programming language for developing reliable and efficient systems. It is designed to support concurrency and parallelism in building applications and libraries that take full advantage of modern hardware. Rust's static type system is safe 1 and expressive and provides strong guarantees about isolation, concurrency, and memory safety. Rust also offers a…
ACM SIGAda Ada Letters Template
Write in a clean editor, then format for ACM SIGAda Ada Letters 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.
About the ACM SIGAda Ada Letters format
ACM SIGAda Ada Letters is a peer-reviewed journal published by ACM, covering Parallel Computing and Optimization Techniques, Real-Time Systems Scheduling, Distributed systems and fault tolerance.
| 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 SIGAda Ada Letters 12, 3, Article 45 (2023).
Formats any DOI in ACM SIGAda Ada Letters style. No sign-up. |
| Publishes research in | Parallel Computing and Optimization Techniques Real-Time Systems Scheduling Distributed systems and fault tolerance Embedded Systems Design Techniques Distributed and Parallel Computing Systems |
| ISSN | 1094-3641 |
| Citation impact (2-yr) | 0.87 |
| h-index | 25 |
| i10-index | 109 |
| Total citations | 5,067 |
| Top institutions publishing here | AdaCore (France) |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Papers published in ACM SIGAda Ada Letters per year
Citation impact of ACM SIGAda Ada Letters by publication year
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Most-cited papers in ACM SIGAda Ada Letters
This report is the result of input from a number of people. The authors wish to acknowledge the contributions of Peter Amey, Rod Chapman, Stephen Michell, Juan Antonio de la Puente, Phil Thornley and David Tombs and the permission by Aonix Inc. to use sections of their crossdevelopment guide for the ObjectAda/Raven product as the…
The current software depression is characterized by software that is late, erroneous, and costly. Experience indicates that the application of appropriate design methodolgies, embodied in a high-order language, is appropriate in combatting this depression. In particular, this paper describes an object-oriented design methodology, using Ada as the implementation language.
The Ravenscar profile is described. All its features and restrictions are noted. Also, the means of designating the profile is presented. Detailed motivations for the profile are not given. The aim of the paper is to summarize the outcome of deliberations at the 8th and 9th International Workshops on Real-Time Ada Issues.
This paper describes an Ada framework called Cheddar which provides tools to check if a real time application meets its temporal constraints. The framework is based on the real time scheduling theory and is mostly written for educational purposes. With Cheddar, an application is defined by a set of processors, tasks, buffers, shared resources and…