Résultat de la recherche
35 recherche sur le tag 'microprogramming'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Faire une suggestion
Accelerator Programming Using Directives / Sunita Chandrasekaran ; SpringerLink (Online service) ; Guido Juckeland ; Sandra Wienke / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings Type de document : document électronique Auteurs : Sunita Chandrasekaran, ; SpringerLink (Online service) ; Guido Juckeland, ; Sandra Wienke, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11381 Importance : IX, 137 p. 61 illus., 43 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-12274-4 Langues : Anglais (eng) Tags : Computer science Logic design Data transmission systems Microprogramming Computer network architectures Programming Languages Compilers Interpreters Logic Design Input Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks Résumé : This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018. The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are organized in the following three sections: applications; using openMP; and program evaluation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=144079 Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings [document électronique] / Sunita Chandrasekaran, ; SpringerLink (Online service) ; Guido Juckeland, ; Sandra Wienke, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - IX, 137 p. 61 illus., 43 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11381) .
ISBN : 978-3-030-12274-4
Langues : Anglais (eng)
Tags : Computer science Logic design Data transmission systems Microprogramming Computer network architectures Programming Languages Compilers Interpreters Logic Design Input Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks Résumé : This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018. The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are organized in the following three sections: applications; using openMP; and program evaluation Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=144079 Computer Performance Evaluation and Benchmarking / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2009)
Computer Safety, Reliability, and Security / Barbara Gallina ; SpringerLink (Online service) ; Amund Skavhaug ; Friedemann Bitsch / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
Titre : Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings Type de document : document électronique Auteurs : Barbara Gallina, ; SpringerLink (Online service) ; Amund Skavhaug, ; Friedemann Bitsch, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2018 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11093 Importance : XXI, 312 p. 92 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-319-99130-6 Langues : Anglais (eng) Tags : Logic design Software engineering Computer Communication Networks Computer security Microprogramming Logics and Meanings of Programs Special Purpose and Application-Based Systems Software Engineering Systems and Data Security Control Structures and Microprogramming Résumé : This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk Note de contenu : Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=143078 Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings [document électronique] / Barbara Gallina, ; SpringerLink (Online service) ; Amund Skavhaug, ; Friedemann Bitsch, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2018 . - XXI, 312 p. 92 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11093) .
ISBN : 978-3-319-99130-6
Langues : Anglais (eng)
Tags : Logic design Software engineering Computer Communication Networks Computer security Microprogramming Logics and Meanings of Programs Special Purpose and Application-Based Systems Software Engineering Systems and Data Security Control Structures and Microprogramming Résumé : This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk Note de contenu : Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=143078 Computer Security / Sokratis K. Katsikas ; SpringerLink (Online service) ; Frédéric Cuppens ; Nora Cuppens-Boulahia ; Costas Lambrinoudakis ; Christos Kalloniatis ; John Mylopoulos ; Annie Antón ; Stefanos Gritzalis / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
Titre : Computer Security : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers Type de document : document électronique Auteurs : Sokratis K. Katsikas ; SpringerLink (Online service) ; Frédéric Cuppens ; Nora Cuppens-Boulahia ; Costas Lambrinoudakis ; Christos Kalloniatis ; John Mylopoulos ; Annie Antón ; Stefanos Gritzalis Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2018 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 10683 Importance : XII, 281 p. 76 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-319-72817-9 Langues : Anglais (eng) Tags : Computer science Microprogramming Computer organization Software engineering Computer security Data encryption Computers and civilization Computer Science Systems and Data Security Data Encryption Software Engineering Computer Systems Organization and Communication Networks Computers and Society Control Structures and Microprogramming Résumé : This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2017, and the First International Workshop on Security and Privacy Requirements Engineering, SECPRE 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium on Research in Computer Security, ESORICS 2017. The CyberICPS Workshop received 32 submissions from which 10 full and 2 short papers were selected for presentation. They cover topics related to threats, vulnerabilities and risks that cyber-physical systems and industrial control systems face; cyber attacks that may be launched against such systems; and ways of detecting and responding to such attacks. From the SECPRE Workshop 5 full papers out of 14 submissions are included. The selected papers deal with aspects of security and privacy requirements assurance and evaluation; and security requirements elicitation and modelling Note de contenu : Protecting Industrial Control and Cyber-Physical Systems -- Threats, Vulnerabilities and Risks -- Cyber Attacks in Industrial Control and Cyber-Physical Systems -- Detecting Attacks in Industrial Control and Cyber-Physical Systems -- Security and Privacy Requirements Assurance and Evaluation -- Security Requirements Elicitation and Modelling Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=135156 Computer Security : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers [document électronique] / Sokratis K. Katsikas ; SpringerLink (Online service) ; Frédéric Cuppens ; Nora Cuppens-Boulahia ; Costas Lambrinoudakis ; Christos Kalloniatis ; John Mylopoulos ; Annie Antón ; Stefanos Gritzalis . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2018 . - XII, 281 p. 76 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 10683) .
ISBN : 978-3-319-72817-9
Langues : Anglais (eng)
Tags : Computer science Microprogramming Computer organization Software engineering Computer security Data encryption Computers and civilization Computer Science Systems and Data Security Data Encryption Software Engineering Computer Systems Organization and Communication Networks Computers and Society Control Structures and Microprogramming Résumé : This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2017, and the First International Workshop on Security and Privacy Requirements Engineering, SECPRE 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium on Research in Computer Security, ESORICS 2017. The CyberICPS Workshop received 32 submissions from which 10 full and 2 short papers were selected for presentation. They cover topics related to threats, vulnerabilities and risks that cyber-physical systems and industrial control systems face; cyber attacks that may be launched against such systems; and ways of detecting and responding to such attacks. From the SECPRE Workshop 5 full papers out of 14 submissions are included. The selected papers deal with aspects of security and privacy requirements assurance and evaluation; and security requirements elicitation and modelling Note de contenu : Protecting Industrial Control and Cyber-Physical Systems -- Threats, Vulnerabilities and Risks -- Cyber Attacks in Industrial Control and Cyber-Physical Systems -- Detecting Attacks in Industrial Control and Cyber-Physical Systems -- Security and Privacy Requirements Assurance and Evaluation -- Security Requirements Elicitation and Modelling Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=135156 Constructive Side-Channel Analysis and Secure Design / Ilia Polian ; SpringerLink (Online service) ; Marc Stöttinger / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Constructive Side-Channel Analysis and Secure Design : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings Type de document : document électronique Auteurs : Ilia Polian, ; SpringerLink (Online service) ; Marc Stöttinger, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11421 Importance : X, 303 p. 230 illus., 64 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-16350-1 Langues : Anglais (eng) Tags : Computer security Computer network architectures Microprogramming Coding theory Operating systems Computers Systems and Data Security Computer Systems Organization and Communication Networks Control Structures and Microprogramming Coding and Information Theory Operating Systems Résumé : This book constitutes revised selected papers from the 10th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2019, held in Darmstadt, Germany, in April 2019. The 14 papers presented together with one keynote and one invited talk in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: Side-Channel Attacks; Fault-Injection Attacks; White-Box Attacks; Side-Channel Analysis Methodologies; Security Aspects of Post-Quantum Schemes; and Countermeasures Against Implementation Attacks Note de contenu : Side-Channel Attacks -- Fault-Injection Attacks -- White-Box Attacks -- Side-Channel Analysis Methodologies -- Security Aspects of Post-Quantum Schemes -- Countermeasures Against Implementation Attacks Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=144854 Constructive Side-Channel Analysis and Secure Design : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings [document électronique] / Ilia Polian, ; SpringerLink (Online service) ; Marc Stöttinger, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - X, 303 p. 230 illus., 64 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11421) .
ISBN : 978-3-030-16350-1
Langues : Anglais (eng)
Tags : Computer security Computer network architectures Microprogramming Coding theory Operating systems Computers Systems and Data Security Computer Systems Organization and Communication Networks Control Structures and Microprogramming Coding and Information Theory Operating Systems Résumé : This book constitutes revised selected papers from the 10th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2019, held in Darmstadt, Germany, in April 2019. The 14 papers presented together with one keynote and one invited talk in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: Side-Channel Attacks; Fault-Injection Attacks; White-Box Attacks; Side-Channel Analysis Methodologies; Security Aspects of Post-Quantum Schemes; and Countermeasures Against Implementation Attacks Note de contenu : Side-Channel Attacks -- Fault-Injection Attacks -- White-Box Attacks -- Side-Channel Analysis Methodologies -- Security Aspects of Post-Quantum Schemes -- Countermeasures Against Implementation Attacks Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=144854 Constructive Side-Channel Analysis and Secure Design / Sylvain Guilley ; SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2017)
PermalinkConstructive Side-Channel Analysis and Secure Design / Junfeng Fan ; SpringerLink (Online service) ; Benedikt Gierlichs / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
PermalinkCorrect Hardware Design and Verification Methods / George J. Milne / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1993)
PermalinkCritical Information Infrastructures Security / Grigore Havarneanu ; SpringerLink (Online service) ; Roberto Setola ; Hypatia Nassopoulos ; Stephen D. Wolthusen / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2017)
PermalinkCyber Physical Systems. Model-Based Design / Roger Chamberlain ; SpringerLink (Online service) ; Walid Mohamed Taha ; Martin Törngren / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
PermalinkDependable and Historic Computing / Cliff B. Jones / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2011)
PermalinkDependable Computing ? EDCC-1 / Klaus Echtle / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1994)
PermalinkExploitation of Fine-Grain Parallelism / Günter Böckle / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1995)
PermalinkFormal Techniques in Real-Time and Fault-Tolerant Systems / Werner Damm / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2002)
PermalinkFormal Techniques in Real-Time and Fault-Tolerant Systems / Jan Vytopil / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1991)
PermalinkFormal Techniques in Real-Time and Fault-Tolerant Systems / Hans Langmaack / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1994)
PermalinkFundamentals of Computation Theory / Janos Csirik / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1989)
PermalinkGenerative and Transformational Techniques in Software Engineering II / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2008)
PermalinkHardware Specification, Verification and Synthesis / Miriam Leeser / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (1990)
PermalinkIndustrial Applications of Holonic and Multi-Agent Systems / Vladimír Mařík ; SpringerLink (Online service) ; Wolfgang Wahlster ; Thomas I. Strasser ; Petr Kadera / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2017)
Permalink