Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft
| Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910451695003321 |
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft
| Annotated C# standard [[electronic resource] /] / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910781802603321 |
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
C annotated standard / / Jon Jagger, Nigel Perry, Peter Sestoft
| C annotated standard / / Jon Jagger, Nigel Perry, Peter Sestoft |
| Autore | Jagger Jon <1966-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PerryNigel
SestoftPeter |
| Soggetto topico | C (Computer program language) |
| ISBN |
1-281-76379-9
9786611763794 0-08-055053-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; C# Annotated Standard; Copyright Page; Dedications; Contents; Foreword to the Annotated Standard; Preface to the Annotated Standard; Acknowledgments; About The Authors; Errata To The International Standard; The C# International Standard and Foreword; Introduction; CLI not required; Chapter 1: Scope; Chapter 2: Conformance; Interpreters; Chapter 3: Normative references; Chapter 4: Definitions; Application vs. program; Assembly vs. class files; Accessing class libraries; Programs, assemblies, applications and class libraries; Chapter 5: Notational conventions
Chapter 6: Acronyms and abbreviationsASCII Rules!; The C# name; Chapter 7: General description; Where to look for requirements on unsafe constructs; Chapter 8: Language overview; Annotation free zone; 8.1 Getting started; 8.2 Types; 8.2.1 Predefined types; 8.2.2 Conversions; 8.2.3 Array types; 8.2.4 Type system unification; 8.3 Variables and parameters; 8.4 Automatic memory management; 8.5 Expressions; 8.6 Statements; 8.7 Classes; 8.7.1 Constants; 8.7.2 Fields; 8.7.3 Methods; 8.7.4 Properties; 8.7.5 Events; 8.7.6 Operators; 8.7.7 Indexers; 8.7.8 Instance constructors; 8.7.9 Finalizers 8.7.10 Static constructors8.7.11 Inheritance; 8.7.12 Static classes; 8.7.13 Partial type declarations; 8.8 Structs; 8.9 Interfaces; 8.10 Delegates; 8.11 Enums; 8.12 Namespaces and assemblies; 8.13 Versioning; 8.14 Extern aliases; 8.15 Attributes; 8.16 Generics; 8.16.1 Why generics?; 8.16.2 Creating and consuming generics; 8.16.3 Multiple type parameters; 8.16.4 Constraints; 8.16.5 Generic methods; 8.17 Anonymous methods; 8.18 Iterators; 8.19 Nullable types; Chapter 9: Lexical structure; 9.1 Programs; Much ado about nothing; 9.2 Grammars; 9.2.1 Lexical grammar; 9.2.2 Syntactic grammar 9.2.3 Grammar ambiguitiesRationale: the "following token" set; Similar cast expression ambiguity; F(G>7); 9.3 Lexical analysis; 9.3.1 Line terminators; 9.3.2 Comments; 9.3.3 White space; 9.4 Tokens; 9.4.1 Unicode escape sequences; No escapes in verbatim strings; No escapes in comments; 9.4.2 Identifiers; Identifier normalization; The humble underscore; Keyword escape mechanism; Code generation; 9.4.3 Keywords; Language evolution; 9.4.4 Literals; 9.4.4.1 Boolean literals; Boolean arguments considered harmful?; 9.4.4.2 Integer literals; Historical note; Boundary differences 9.4.4.3 Real literalsWhat is 1.D?; Money or deciMal?; 9.4.4.4 Character literals; No octal character escapes; 9.4.4.5 String literals; Platform independent newlines; Historical note; Happy birthday, Joel; Overspecification...; Hexadecimal escape character pitfalls; 9.4.4.6 The null literal; 9.4.5 Operators and punctuators; >>== tokenization oddity; Tokenization anecdote; 9.5 Pre-processing directives; To pre-process, or not pre-process?; Why no delimited comments in #directives?; Why no macros?; 9.5.1 Conditional compilation symbols; Conditional symbol oddity No program-wide pre-processing symbols |
| Record Nr. | UNINA-9910973060103321 |
Jagger Jon <1966->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational intelligence [[electronic resource] ] : concepts to implementations / / Russell C. Eberhart, Yuhui Shi
| Computational intelligence [[electronic resource] ] : concepts to implementations / / Russell C. Eberhart, Yuhui Shi |
| Autore | Eberhart Russell C |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (543 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | ShiYuhui |
| Soggetto topico |
Computational intelligence
Neural networks (Neurobiology) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-22770-6
9786611227708 0-08-055383-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Computational Intelligence; Copyright Page; Table of Contents; Preface; Chapter 1. Foundations; Definitions; Biological Basis for Neural Networks; Behavioral Motivations for Fuzzy Logic; Myths about Computational Intelligence; Computational Intelligence Application Areas; Summary; Exercises; Chapter 2. Computational Intelligence; Adaptation; Self-organization and Evolution; Historical Views of Computational Intelligence; Computational Intelligence as Adaptation and Self-organization; The Ability to Generalize
Computational Intelligence and Soft Computing versus Artificial Intelligence and Hard ComputingSummary; Exercises; Chapter 3. Evolutionary Computation Concepts and Paradigms; History of Evolutionary Computation; Evolutionary Computation Overview; Genetic Algorithms; Evolutionary Programming; Evolution Strategies; Genetic Programming; Particle Swarm Optimization; Summary; Exercises; Chapter 4. Evolutionary Computation Implementations; Implementation Issues; Genetic Algorithm Implementation; Particle Swarm Optimization Implementation; Summary; Exercises Chapter 5. Neural Network Concepts and ParadigmsNeural Network History; What Neural Networks are and Why They are Useful; Neural Network Components and Terminology; Neural Network Topologies; Neural Network Adaptation; Comparing Neural Networks and Other Information Processing Methods; Preprocessing; Postprocessing; Summary; Exercises; Chapter 6. Neural Network Implementations; Implementation Issues; Back-propagation Implementation; The Kohonen Network Implementations; Evolutionary Back-propagation Network Implementation; Summary; Exercises; Chapter 7. Fuzzy Systems Conceptsand Paradigms HistoryFuzzy Sets and Fuzzy Logic; The Theory of Fuzzy Sets; Approximate Reasoning; Developing a Fuzzy Controller; Summary; Exercises; Chapter 8. Fuzzy Systems Implementations; Implementation Issues; Fuzzy Rule System Implementation; Evolving Fuzzy Rule Systems; Summary; Exercises; Chapter 9. Computational Intelligence Implementations; Implementation Issues; Fuzzy Evolutionary Fuzzy Rule System Implementation; Choosing the Best Tools; Applying Computational Intelligence to Data Mining; Summary; Exercises; Chapter 10. Performance Metrics; General Issues; Percent Correct Average Sum-squared ErrorAbsolute Error; Normalized Error; Evolutionary Algorithm Effectiveness Metrics; Mann-Whitney U Test; Receiver Operating Characteristic Curves; Recall and Precision; Other ROC-related Measures; Confusion Matrices; Chi-square Test; Summary; Exercises; Chapter 11. Analysis and Explanation; Sensitivity Analysis; Hinton Diagrams; Computational Intelligence Tools for Explanation Facilities; Summary; Exercises; Bibliography; Index; About the Authors; Chapter 12. Case Study Summaries; Case Study Preview; Case Study 1: Detection of Electroencephalogram Spikes Case Study 2: Determining Battery State of Charge |
| Record Nr. | UNINA-9910458816003321 |
Eberhart Russell C
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational intelligence [[electronic resource] ] : concepts to implementations / / Russell C. Eberhart, Yuhui Shi
| Computational intelligence [[electronic resource] ] : concepts to implementations / / Russell C. Eberhart, Yuhui Shi |
| Autore | Eberhart Russell C |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (543 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | ShiYuhui |
| Soggetto topico |
Computational intelligence
Neural networks (Neurobiology) |
| ISBN |
1-281-22770-6
9786611227708 0-08-055383-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Computational Intelligence; Copyright Page; Table of Contents; Preface; Chapter 1. Foundations; Definitions; Biological Basis for Neural Networks; Behavioral Motivations for Fuzzy Logic; Myths about Computational Intelligence; Computational Intelligence Application Areas; Summary; Exercises; Chapter 2. Computational Intelligence; Adaptation; Self-organization and Evolution; Historical Views of Computational Intelligence; Computational Intelligence as Adaptation and Self-organization; The Ability to Generalize
Computational Intelligence and Soft Computing versus Artificial Intelligence and Hard ComputingSummary; Exercises; Chapter 3. Evolutionary Computation Concepts and Paradigms; History of Evolutionary Computation; Evolutionary Computation Overview; Genetic Algorithms; Evolutionary Programming; Evolution Strategies; Genetic Programming; Particle Swarm Optimization; Summary; Exercises; Chapter 4. Evolutionary Computation Implementations; Implementation Issues; Genetic Algorithm Implementation; Particle Swarm Optimization Implementation; Summary; Exercises Chapter 5. Neural Network Concepts and ParadigmsNeural Network History; What Neural Networks are and Why They are Useful; Neural Network Components and Terminology; Neural Network Topologies; Neural Network Adaptation; Comparing Neural Networks and Other Information Processing Methods; Preprocessing; Postprocessing; Summary; Exercises; Chapter 6. Neural Network Implementations; Implementation Issues; Back-propagation Implementation; The Kohonen Network Implementations; Evolutionary Back-propagation Network Implementation; Summary; Exercises; Chapter 7. Fuzzy Systems Conceptsand Paradigms HistoryFuzzy Sets and Fuzzy Logic; The Theory of Fuzzy Sets; Approximate Reasoning; Developing a Fuzzy Controller; Summary; Exercises; Chapter 8. Fuzzy Systems Implementations; Implementation Issues; Fuzzy Rule System Implementation; Evolving Fuzzy Rule Systems; Summary; Exercises; Chapter 9. Computational Intelligence Implementations; Implementation Issues; Fuzzy Evolutionary Fuzzy Rule System Implementation; Choosing the Best Tools; Applying Computational Intelligence to Data Mining; Summary; Exercises; Chapter 10. Performance Metrics; General Issues; Percent Correct Average Sum-squared ErrorAbsolute Error; Normalized Error; Evolutionary Algorithm Effectiveness Metrics; Mann-Whitney U Test; Receiver Operating Characteristic Curves; Recall and Precision; Other ROC-related Measures; Confusion Matrices; Chi-square Test; Summary; Exercises; Chapter 11. Analysis and Explanation; Sensitivity Analysis; Hinton Diagrams; Computational Intelligence Tools for Explanation Facilities; Summary; Exercises; Bibliography; Index; About the Authors; Chapter 12. Case Study Summaries; Case Study Preview; Case Study 1: Detection of Electroencephalogram Spikes Case Study 2: Determining Battery State of Charge |
| Record Nr. | UNINA-9910784623103321 |
Eberhart Russell C
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital design [[electronic resource] ] : an embedded systems approach using VHDL / / Peter J. Ashenden
| Digital design [[electronic resource] ] : an embedded systems approach using VHDL / / Peter J. Ashenden |
| Autore | Ashenden Peter J |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2008 |
| Descrizione fisica | 1 online resource (595 p.) |
| Disciplina | 621.39/16 |
| Soggetto topico |
Embedded computer systems
VHDL (Computer hardware description language) System design |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-39613-0
9786613396136 0-08-055312-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover |
| Record Nr. | UNINA-9910457871203321 |
Ashenden Peter J
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2008 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital design [[electronic resource] ] : an embedded systems approach using VHDL / / Peter J. Ashenden
| Digital design [[electronic resource] ] : an embedded systems approach using VHDL / / Peter J. Ashenden |
| Autore | Ashenden Peter J |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2008 |
| Descrizione fisica | 1 online resource (595 p.) |
| Disciplina | 621.39/16 |
| Soggetto topico |
Embedded computer systems
VHDL (Computer hardware description language) System design |
| ISBN |
1-283-39613-0
9786613396136 0-08-055312-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover |
| Record Nr. | UNINA-9910778938603321 |
Ashenden Peter J
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2008 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
High-performance embedded computing [[electronic resource] ] : architectures, applications, and methodologies / / Wayne Wolf
| High-performance embedded computing [[electronic resource] ] : architectures, applications, and methodologies / / Wayne Wolf |
| Autore | Wolf Wayne |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 004.16 |
| Soggetto topico |
Embedded computer systems
High performance computing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-00410-3
9786611004101 0-08-047500-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Supplemental Materials; Table of contents; Preface; 1 Embedded Computing; 1.1 The Landscape of High-Performance Embedded Computing; 1.2 Example Applications; 1.3 Design Goals; 1.4 Design Methodologies; 1.5 Models of Computation; 1.6 Reliability, Safety, and Security; 1.7 Consumer Electronics Architectures; 1.8 Summary and a Look Ahead; 2 CPUs; 2.1 Introduction; 2.2 Comparing Processors; 2.3 RISC Processors and Digital Signal Processors; 2.4 Parallel Execution Mechanisms; 2.5 Variable-Performance CPU Architectures
2.6 Processor Memory Hierarchy2.7 Additional CPU Mechanisms; 2.8 CPU Simulation; 2.9 Automated CPU Design; 2.10 Summary; 3 Programs; 3.1 Introduction; 3.2 Code Generation and Back-End Compilation; 3.3 Memory-Oriented Optimizations; 3.4 Program Performance Analysis; 3.5 Models of Computation and Programming; 3.6 Summary; 4 Processes and Operating Systems; 4.1 Introduction; 4.2 Real-Time Process Scheduling; 4.3 Languages and Scheduling; 4.4 Operating System Design; 4.5 Verification; 4.6 Summary; 5 Multiprocessor Architectures; 5.1 Introduction; 5.2 Why Embedded Multiprocessors? 5.3 Multiprocessor Design Techniques5.4 Multiprocessor Architectures; 5.5 Processing Elements; 5.6 Interconnection Networks; 5.7 Memory Systems; 5.8 Physically Distributed Systems and Networks; 5.9 Multiprocessor Design Methodologies and Algorithms; 5.10 Summary; 6 Multiprocessor Software; 6.1 Introduction; 6.2 What Is Different about Embedded Multiprocessor Software?; 6.3 Real-Time Multiprocessor Operating Systems; 6.4 Services and Middleware for Embedded Multiprocessors; 6.5 Design Verification; 6.6 Summary; 7 Hardware and Software Co-design; 7.1 Introduction; 7.2 Design Platforms 7.3 Performance Analysis7.4 Hardware/Software Co-synthesis Algorithms; 7.5 Hardware/Software Co-simulation; 7.6 Summary; Glossary; References; Index |
| Record Nr. | UNINA-9910458633203321 |
Wolf Wayne
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
High-performance embedded computing [[electronic resource] ] : architectures, applications, and methodologies / / Wayne Wolf
| High-performance embedded computing [[electronic resource] ] : architectures, applications, and methodologies / / Wayne Wolf |
| Autore | Wolf Wayne |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 004.16 |
| Soggetto topico |
Embedded computer systems
High performance computing |
| ISBN |
1-281-00410-3
9786611004101 0-08-047500-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; About the Author; Title page; Copyright page; Supplemental Materials; Table of contents; Preface; 1 Embedded Computing; 1.1 The Landscape of High-Performance Embedded Computing; 1.2 Example Applications; 1.3 Design Goals; 1.4 Design Methodologies; 1.5 Models of Computation; 1.6 Reliability, Safety, and Security; 1.7 Consumer Electronics Architectures; 1.8 Summary and a Look Ahead; 2 CPUs; 2.1 Introduction; 2.2 Comparing Processors; 2.3 RISC Processors and Digital Signal Processors; 2.4 Parallel Execution Mechanisms; 2.5 Variable-Performance CPU Architectures
2.6 Processor Memory Hierarchy2.7 Additional CPU Mechanisms; 2.8 CPU Simulation; 2.9 Automated CPU Design; 2.10 Summary; 3 Programs; 3.1 Introduction; 3.2 Code Generation and Back-End Compilation; 3.3 Memory-Oriented Optimizations; 3.4 Program Performance Analysis; 3.5 Models of Computation and Programming; 3.6 Summary; 4 Processes and Operating Systems; 4.1 Introduction; 4.2 Real-Time Process Scheduling; 4.3 Languages and Scheduling; 4.4 Operating System Design; 4.5 Verification; 4.6 Summary; 5 Multiprocessor Architectures; 5.1 Introduction; 5.2 Why Embedded Multiprocessors? 5.3 Multiprocessor Design Techniques5.4 Multiprocessor Architectures; 5.5 Processing Elements; 5.6 Interconnection Networks; 5.7 Memory Systems; 5.8 Physically Distributed Systems and Networks; 5.9 Multiprocessor Design Methodologies and Algorithms; 5.10 Summary; 6 Multiprocessor Software; 6.1 Introduction; 6.2 What Is Different about Embedded Multiprocessor Software?; 6.3 Real-Time Multiprocessor Operating Systems; 6.4 Services and Middleware for Embedded Multiprocessors; 6.5 Design Verification; 6.6 Summary; 7 Hardware and Software Co-design; 7.1 Introduction; 7.2 Design Platforms 7.3 Performance Analysis7.4 Hardware/Software Co-synthesis Algorithms; 7.5 Hardware/Software Co-simulation; 7.6 Summary; Glossary; References; Index |
| Record Nr. | UNINA-9910784650103321 |
Wolf Wayne
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IPv6 advanced protocols implementation [[electronic resource] /] / Qing Li, Tatuya Jinmei, Keiichi Shima
| IPv6 advanced protocols implementation [[electronic resource] /] / Qing Li, Tatuya Jinmei, Keiichi Shima |
| Autore | Li Qing <1971-> |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 |
| Descrizione fisica | 1 online resource (1009 p.) |
| Disciplina | 004.6/2 |
| Altri autori (Persone) |
JinmeiTatuya <1971->
ShimaKeiichi <1970-> |
| Collana | The Morgan Kaufmann series in networking |
| Soggetto topico |
TCP/IP (Computer network protocol)
Computer network protocols |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-05352-X
9786611053529 0-08-048930-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; IPv6 Advanced Protocols Implementation; Copyright Page; Table of Contents; Preface; About the Authors; Chapter 1 IPv6 Unicast Routing Protocols; 1.1 Introduction; 1.2 Overview of Routing Concepts; 1.3 Overview of Vector-based Algorithms and Link-State Algorithm; 1.4 Introduction to RIPng; 1.5 Introduction to BGP4+; 1.6 Introduction to OSPFv3; 1.7 Code Introduction; 1.8 IPv6 Routing Table in the BSD Kernel; 1.9 Routing API; 1.10 Overview of route6d Daemon; 1.11 Common Data Structures, Routines and Global Variables; 1.12 Interface Configuration; 1.13 RIPng Protocol Operation
1.14 Routing Operation Using route6dChapter 2 IPv6 Multicasting; 2.1 Introduction; 2.2 IPv6 Multicast Address to Layer-2 Multicast Address Mapping; 2.3 Multicast Listener Discovery Protocol; 2.4 Multicast Routing Fundamentals; 2.5 Code Introduction; 2.6 MLD Implementation; 2.7 IPv6 Multicast Interface: mif6{} Structure; 2.8 IPv6 Multicast Routing API; 2.9 IPv6 Multicast Forwarding Cache; 2.10 IPv6 Multicast Forwarding; 2.11 IPv6 Multicast Operation; Chapter 3 DNS for IPv6; 3.1 Introduction; 3.2 Basics of DNS Definitions and Protocols; 3.3 IPv6-Related Topics about DNS 3.4 Implementation of IPv6 DNS Resolver3.5 IPv6 DNS Operation with BIND; Chapter 4 DHCPv6; 4.1 Introduction; 4.2 Overview of the DHCPv6 Protocol; 4.3 Code Introduction; 4.4 Client Implementation; 4.5 Server Implementation; 4.6 Relay Agent Implementation; 4.7 Implementation of DHCPv6 Authentication; 4.8 DHCPv6 Operation; Chapter 5 Mobile IPv6; 5.1 Introduction; 5.2 Mobile IPv6 Overview; 5.3 Header Extension; 5.4 Procedure of Mobile IPv6; 5.5 Route Optimization; 5.6 Movement Detection; 5.7 Dynamic Home Agent Address Discovery; 5.8 Mobile Prefix Solicitation/Advertisement 5.9 Relationship with IPsec5.10 Code Introduction; 5.11 Mobile IPv6 Related Structures; 5.12 Macro and Type Definitions; 5.13 Global Variables; 5.14 Utility Functions; 5.15 Common Mobility Header Processing; 5.16 Home Agent and Correspondent Node; 5.17 Mobile Node; 5.18 Mobile IPv6 Operation; 5.19 Appendix; Chapter 6 IPv6 and IP Security; 6.1 Introduction; 6.2 Authentication Header; 6.3 Encapsulating Security Payload; 6.4 Transport Mode and Tunnel Mode; 6.5 Security Association Database; 6.6 IPsec Traffic Processing; 6.7 SPD and SAD Management; 6.8 Manual Configuration 6.9 Internet Security Association and Key Management Protocol (ISAKMP) Overview6.10 Racoon Operation; 6.11 Scenarios; References; Index |
| Record Nr. | UNINA-9910458613203321 |
Li Qing <1971->
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann Publishers, c2007 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||