Concurrent and real-time programming in Ada 2005 :: SCD d'Orléans

Concurrent and real-time programming in Ada 2005

Concurrent and real-time programming in Ada 2005

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Burns, Alan, 1953-, Wellings, Andrew J. (Tác giả)
Định dạng:	Livre papier
Ngôn ngữ:	Anglais
Được phát hành:	Cambridge : Cambridge University Press 2007.
Những chủ đề:	Ada 83 (langage de programmation) Programmation parallèle (informatique) Temps réel (informatique) > Programmation
Autres localisations:	Voir dans le Sudoc

Những quyển sách tương tự

Techniques de synchronisation pour les applications parallèles
Bằng: Padiou, Gérard, 1950-, et al.
Được phát hành: (1990)

Programmation concurrente et temps réel avec ADA 95
Bằng: Zaffalon, Luigi, et al.
Được phát hành: (1999)

A review of Ada tasking
Bằng: Burns, Alan, 1953-, et al.

Langage ADA et algorithmique
Bằng: Ogor, Robert, et al.
Được phát hành: (1990)

The Programming language Ada : reference manual : proposed standard document

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
Bằng: Accart Hardin, Thérèse, et al.
Được phát hành: (1992)

Towards a formal description of Ada
Bằng: Bjørner, Dines, 1937-

Ada 95 rationale : the language, tha standard libraries
Bằng: Barnes, John Gilbert Presslie, 1937-

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
Bằng: Taft, S. Tucker, 1953-

Ada 95 Quality and Style

Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Simulation par événements discrets
Bằng: Erard, Pierre-Jean, et al.
Được phát hành: (1996)

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings

Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings

Specification and compositional verification of real-time systems
Bằng: Hooman, Jozef, 19..-

Algorithmes et structures de données avec Ada, C++ et Java
Bằng: Guerid, Abdelali, 19..-, et al.
Được phát hành: (2002)

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
Bằng: Bernardo, Marco

Program verification using Ada
Bằng: McGettrick, Andrew D., 1944-
Được phát hành: (1982)

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Parallel programming in C with MPI and OpenMP
Bằng: Quinn, Michael J., 19..-...., informaticien
Được phát hành: (2004)

Vers ADA 95 par l'exemple : langage, technique et pratique
Bằng: Fayard, Didier, et al.
Được phát hành: (1999)

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

The data parallel programming model : foundations, HPF realization, and scientific applications
Bằng: Perrin, Guy-René

Memory safety for synchronous reactive programming
Bằng: Rammal, Darine, 1996-
Được phát hành: (2024)

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Parallel execution of Parlog
Bằng: Cheese, Andrew, 19..-

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
Bằng: Banâtre, Jean-Pierre

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Programmation concurrente : maîtrisez le traitement de vos données en Java
Bằng: Joyeux, Laurent
Được phát hành: (2017)

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

The programming language Ada reference manual : American national standards institute, inc. ANSI-MIL-STD-1815A-1983 : approved 17 February 1983
Bằng: Barstow, David R.

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Using MPI : portable parallel programming with the message-passing interface
Bằng: Gropp, William D., et al.
Được phát hành: (1999)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales