Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings > Tasking deadlocks in Ada 95 programs and their detection
Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings |
Alfred Strohmeier
Springer Berlin Heidelberg
Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
Tasking deadlocks in Ada 95 programs and their detection
Authors

Jingde Cheng; Kazuo Ushijima

ARI Id

1665027571296_4527020

Access

Not Available Free

Pages

135-146

DOI

10.1007/BFb0013484

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0013484

Table of Contents of Book
Showing 1 to 20 of 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Programming the Internet in Ada 95
S. Tucker Taft
1-16
Reliability modeling for safety critical software
Norman F. Schneidewind
17-37
Fault-tolerance by replication in distributed systems
Rachid Guerraoui; André Schiper
38-57
Ada95: An effective concurrent programming language
A. Burns; A. J. Wellings
58-77
Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries
Juan Antonio de la Puente; Alejandro Alonso; Angel Alvarez
78-88
An approach to increasing software component reusability in Ada
Hyoseob Kim; Cornelia Boldyreff
89-100
Iterative software development for large Ada programs
Philippe Krachten; Christopher J. Thompson
101-110
HCSD unit development process: Step-wise process improvement
David Emery; Jas Madhur
111-122
Testing Ada 95 programs for conformance to rapide architectures
Neel Madhav
123-134
Tasking deadlocks in Ada 95 programs and their detection
Jingde Cheng; Kazuo Ushijima
135-146
On some characterisation problems of subdomain testing
T. Y. Chen; Y. T. Yu
147-158
A framework for testing object oriented software using formal specifications
Rohan Fletcher; A. S. M. Sajeev
159-170
Ada95 and critical systems: An analytical approach
Dan Craigen; Mark Saaltink; Steve Michell
171-182
Use of a static analysis tool for safety-critical Ada applications
Alfred Rosskopf
183-197
Secure communication in distributed Ada
Jörg Kienzle; Thomas Wolf; Alfred Strohmeier
198-210
Using object oriented methods in Ada 95 to implement Linda
Kristina Lundqvist; Göran Wall
211-222
Shared packages through Linda
Göran Wall; Kristina Lundqvist
223-234
Drago: An Ada extension to program fault-tolerant distributed applications
J. Miranda; A. Alvarez; S. Arévalo; F. Guerra
235-246
The dining philosophers in Ada 95
Benjamin M. Brosgol
247-261
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings