Dependable computing - EDCC-1 : :: SCD d'Orléans

Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings

Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contr...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	European Dependable Computing Conference :Berlin
Другие авторы:	Echtle, Klaus, 19..- (Публикующий директор), Hammer, Dieter, 1938- (Публикующий директор), Powell, David, 19..-...., chercheur en informatique (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in computer science 852
Предметы:	Informatique Systèmes informatiques > Pannes Ordinateurs > Fiabilité Tolérance aux fautes (informatique) Ordinateurs > Équipement d'entrée-sortie Ordinateurs > Mémoires Microprogrammation Unités arithmétiques et logiques Actes de congrès
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
Примечание:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Dependable computing - EDCC-1, proceedings, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Berlin, Springer-Verlag, 1994, 1 vol. (xvii-618 p.), Lecture notes in computer science, 0-387-58426-9 • Dependable Computing - EDCC-1, Texte imprimé, 9783662201442

Схожие документы

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

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

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

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings

The complexity of simple computer architectures
по: Müller, Silvia M., 19..-, и др.

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Exploitation of fine-grain parallelism
по: Böckle, Günter

Hardware and software architectures for fault tolerance : experiments and perspectives
по: Banâtre, Michel

LUCAS associative array processor : design, programming, and application studies
по: Fernstrom, Christer, 1951-, и др.

Parallel computer routing and communication : first international workshop, PCRCW '94, Seattle, Washington, U.S.A., May 16-18, 1994 : proceedings

Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings
по: Yew, Pen-Chung, 1950-

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

Advances in computer systems architecture : 8th Asia-Pacific conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003 : proceedings

Reliability evaluation of some fault-tolerant computer architectures
по: Osaki, Shunji, 1942-2021, и др.

FM8501 : a verified microprocessor
по: Hunt, Warren A. Jr., 1958-

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

Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
по: Steffen, Thomas
Опубликовано: (2005)

Architecting dependable systems
по: Lemos, Rogerio de, 1961-

Architecting dependable systems II
по: Lemos, Rogerio de, 1961-

P-Functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
по: Thayse, André, 1940-

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

Fault-tolerant distributed computing
по: Simons, Barbara

Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers

Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8 10, 1994 : proceedings

Languages and compilers for parallel computing : 11th International Workshop, LCPC 98 Chapel Hill, NC, USA, August 7 9, 1998 : proceedings

Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers

Languages and compilers for parallel computing : fourth [4th] international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

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

Languages and compilers for parallel computing : 14th international workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers

Languages and compilers for parallel computing : 6th International Workshop, Portland, Oregon, USA, August 12 14, 1993 : proceedings

Languages and compilers for parallel computing : 8th international workshop, LCPC ½95, Columbus, Ohio, USA, August 1995 : proceedings

Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3 5, 1992 : proceedings

Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8 10, 1996 : proceedings

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

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

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

Towards a Pan-European telecommunication service infrastructure - IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7 9, 1994 : proceedings

Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings

Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23 25, 1996 : 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