Real-time : :: SCD d'Orléans

Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	REX workshop :Mook, Pays-Bas
Diğer Yazarlar:	Huizing, C., 19..- (Yayın yönetmeni), Bakker, Jacobus Willem de, 1939- (Yayın yönetmeni), Roever, Willem-Paul de, 1943- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 600
Konular:	Informatique Temps réel (informatique) Systèmes d'exploitation (ordinateurs) Réseaux d'ordinateurs Logique symbolique et mathématique Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Real-time, theory in practice, REX Workshop, Mook, the Netherlands, June 3-7, 1991, proceedings, [ed. par] J.W. de Bakker... [et al.], Berlin, Springer-Verlag, 1992, 1 vol. (viii-723 p.), Lecture notes in computer science, 3-540-55564-1 • Real-Time: Theory in Practice, Texte imprimé, 9783662193747

Benzer Materyaller

MicroC/OS-II : the real-time Kernel
Yazar:: Labrosse, Jean J.
Baskı/Yayın Bilgisi: (2002)

Protocols for high speed networks : 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988

Networked group communication : Third International COST264 Workshop, NGC 2001, London, UK, November 7 9, 2001 : proceedings

Communication and architectural support for network-based parallel computing : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1 2, 1997 : proceedings

Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings

Cryptographic hardware and embedded systems CHES 2001 : international workshop, Paris, France, May 14-16, 2001 : proceedings

Designing privacy enhancing technologies : International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000 : proceedings

Network-based parallel computing : communication, architecture, and applications : 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000 : proceedings

Network-based parallel computing : communication, architecture, and applications : Third International Workshop, CANPC 99, Orlando, Florida, USA, January 9th, 1999 : proceedings

Network-based parallel computing : communication, architecture, and applications : second international workshop, CANPC '98, Las Vegas, Nevada, USA, January 31-February 1, 1998 : proceedings

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

Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20 24, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Applied cryptography and network security : Second international conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004 : proceedings
Yazar:: Jakobsson, Markus

Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21 25, 1993 : proceedings
Yazar:: Ajmone Marsan, Marco, 1951-...., informaticien

PARLE '91 : parallel architectures and languages Europe proceedings parallel languages, Eindhoven, The Netherlands, June 10 13, 1991 :

Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings

PARLE '91 : parallel architectures and languages Europe proceedings parallel architectures and algorithms, Eindhoven, The Netherlands, June 10 13, 1991 :

PARLE '89 Parallel architectures and languages Europe. parallel languages : Eindhoven, The Netherlands, June 12 16, 1989 : proceedings

Distributed algorithms : 8th International Workshop, WDAG '1994, Terschelling, The Netherlands, September 29 October 1, 1994 : proceedings

Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers

Distributed computing : 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004 : proceedings

Solutions temps réel sous Linux
Yazar:: Blaess, Christophe
Baskı/Yayın Bilgisi: (2019)

Advances in cryptology - EUROCRYPT 89 : [7th] Workshop on the Theory and Application of Cryptographic Techniques, Houthalen, Belgium, April 10 13, 1989 : proceedings

Quality of service - IWQoS 2003 : 11th International Workshop Berkeley, CA, USA, June 2 4, 2003 : proceedings

Distributed algorithms : 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings

The MOSIX distributed operating system : load balancing for UNIX
Yazar:: Barak, Amnon, ve diğerleri

Privacy enhancing technologies : second international workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002 : revised papers

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
Yazar:: Cortadella, Jordi, 1962-

Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings

Cryptographic hardware and embedded systems - CHES 2003 : 5th international workshop, Cologne, Germany, September 8-10, 2003 : proceedings

Distributed algorithms : 7th International Workshop, WDAG'93, Lausanne, Switzerland, September 27 29, 1993 : proceedings

Synthesizing synchronous systems by static scheduling in space-time
Yazar:: Lisper, Björn

Services management in intelligent networks : 11th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2000, Austin, TX, USA, December 4 6, 2000 : proceedings

Lectures on data security : modern cryptology in theory and practice
Yazar:: Damgård, Ivan Bjerre, 1956-...., informaticien

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
Yazar:: Bernardo, Marco

Quality of service - IWQoS 2001 : 9th international workshop, Karlsruhe, Germany, June 6-8, 2001 : proceedings

Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems
Yazar:: Santosh, Pande

Network and operating system support for digital audio and video : second international workshop, Heidelberg, Germany, November 18-19, 1991 : proceedings

© 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