Hybrid systems : :: SCD d'Orléans

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen-...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International workshop on hybrid systems : Computation and control :Philadelphia, Pa.
Altri autori:	Alur, Rajeev, 1966- (Direttore editoriale), Pappas, George J., 19..-...., mathématicien (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2993
Soggetti:	Génie logiciel Informatique Simulation par ordinateur Systèmes informatiques > Pannes Calculateurs hybrides Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hybrid systems, computation and control, 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, proceedings, Rajeev Alur, George J. Pappas (eds.), Berlin, Springer, 2004, 1 vol. (XII-674 p.), Lecture notes in computer science, 3-540-21259-0 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662189153

Documenti analoghi

Hybrid systems : computation and control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25 27, 2002 : proceedings

Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Hybrid systems : computation and control : second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29 31, 1999 : proceedings

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28 30, 2001 : proceedings

Hybrid systems : computation and control : first International Workshop, HSCC'98, Berkeley, California, USA, April 1998 : proceedings

Hybrid systems. [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 1997]

High performance computing : 5th international symposium, ISHPC 2003, Tokyo-Odaiba, Japan, october 20-22, 2003 : proceedings

Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings Applications

Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
di: Mitrou, Nikolas

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Networking 2002 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 : proceedings
Pubblicazione: (2007)

Performance evaluation : origins and directions
di: Haring, Günter, 1943-

Parallel computing technologies : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3 7, 2001 : proceedings

Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings

Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

"UML" 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, october 11-15, 2004 : proceedings

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Parallel computing technologies : 4th international conference, PaCT-97, Yaroslavl, Russia, September 8 12, 1997 : proceedings

High Performance Computing in Science and Engineering '06 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2006

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

Hybrid systems III : verification and control

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
di: Calzarossa, Maria Carla, 1958-

High Performance Computing in Science and Engineering '07 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings

Performance engineering : state of the art and current trends
di: Dumke, Reiner

Networking 2000 : broadband communications, high performance networking, and performance of communication networks : IFIP-TC6/European Commission International Conference, Paris, France, May 14 19, 2000 : proceedings

Hybrid systems
di: Grossman, Robert, 1957-

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

UML 2003 - The Unified Modeling Language : modeling languages and applications : 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 : proceedings

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : 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