Library of Congress |

Library of Congress

Matches in Library of Congress for { <http://lccn.loc.gov/2001020410> ?p ?o. }

Showing items 1 to 26 of 26 with 100 items per page.

2001020410 contributor B8921108.
2001020410 contributor B8921109.
2001020410 created "c2001.".
2001020410 date "2001".
2001020410 date "c2001.".
2001020410 dateCopyrighted "c2001.".
2001020410 description "Includes bibliographical references and index.".
2001020410 description "Machine generated contents note: Session 1: Methodology I A Methodology for Complex Embedded Systems Design: -- Petri Nets within a UML Approach -- R. J. Machado, J. M. Fernandes, H. D. Santos -- Efficient System Modeling for Complex Real-Time Industrial Networks -- using the ACCORD/UML Methodology -- S. Gerard, N. S. Voros, C. Koulamas, F. Terrier -- Analog/Digital Co-Design -- F. Heuschen, K. Waldschmidt -- A Design Methodology for Embedded Systems based on -- Multiple Processors -- L. Carro, F. Wagner, M Kreutz, M. Oyamada Session 2: Architecture An Architecture for Reliable Distributed Computer-Controlled Systems -- L. M. Pinho, F. Vasques -- Generic Architecture Platform for Multiprocessor System-On-Chip Design -- A. Baghdadi, N-E. Zergainoh, D. Lyonnard, A. A. Jerraya -- JPURE - A Purified Java Execution Environment for Controller Networks -- D. Beuche, L. Buttner, D. Mahrenholz, W. Schroder-Preikschat, -- F. Schon -- Optimizing Functional distribution in Complex System Design -- O. P. Dias, I. M Teixeira, J P. Teixeira, L. B. Becker, C. E. Pereira Session 3: Design Environments Customizing Software Toolkits for Embedded Systems-On-Chip -- A. Halambi, N. Dutt, A. Nicolau -- Framework for System Design, Validation and Fast Prototyping of -- Multiprocessor System-On-Chip -- N. E. Zergainoh, A. Baghdadi, L. Tambour, D. Lyonnard, L. Gauthier, -- A. Jerraya -- The Specification Language SpecC within the PARADISE Design -- Environment -- A. Rettberg, F. J. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt, -- B. Kleinjohann -- vi Session 4: Methodology II Real-Time Support for Online Controller Supervision and Optimisation -- M. Deppe, O. Oberschelp -- A Product Family Approach to Graceful Degradation -- W. Nace, P. Koopman -- Environment Modelling in Closed Specifications of Embedded Systems -- M. Katara, A. Luoma Session 5: Test and Validation Test Case Design for the Validation of Component-Based Embedded -- Systems -- W. Fleisch -- Timing Constraints Validation using UPPAAL: Schedulability Analysis -- H. Sun Session 6: Distribution and Communication A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor -- Systems -- Y. Qiao, H. Wang, G. Dai -- Deriving Message Passing Protocols from Collective Behavior -- P. Kellomaki -- Java Real-Time Publish-Subscribe Middleware for Distributed Embedded -- Systems -- D. Kim, Y. Doh, Y.-H. Lee Session 7: Synthesis A Verified Hardware Synthesis of Esterel Programs -- K. Schneider -- EXPLORA - Generic Design Space Exploration during Embedded System -- Synthesis -- F. Cieslok, H. Esau, J. Teich -- Automatic Code Generation for Multirate Simulink Models with Support -- for the OSEK Real-Time Operating System -- C. Homburg, U. Kiffmeier, L. Kosters.".
2001020410 extent "ix, 236 p. :".
2001020410 identifier "0792373456 (alk. paper)".
2001020410 identifier 2001020410-d.html.
2001020410 identifier 2001020410.html.
2001020410 isPartOf "International Federation For Information Processing ; 61".
2001020410 isPartOf "International Federation for Information Processing (Series) ; 61.".
2001020410 issued "2001".
2001020410 issued "c2001.".
2001020410 language "eng".
2001020410 publisher "Boston : Kluwer Academic Publishers,".
2001020410 subject "004/.36 21".
2001020410 subject "Electronic data processing Distributed processing Congresses.".
2001020410 subject "Embedded computer systems Congresses.".
2001020410 subject "Parallel processing (Electronic computers) Congresses.".
2001020410 subject "QA76.9.D5 I3475 2001".
2001020410 tableOfContents "Machine generated contents note: Session 1: Methodology I A Methodology for Complex Embedded Systems Design: -- Petri Nets within a UML Approach -- R. J. Machado, J. M. Fernandes, H. D. Santos -- Efficient System Modeling for Complex Real-Time Industrial Networks -- using the ACCORD/UML Methodology -- S. Gerard, N. S. Voros, C. Koulamas, F. Terrier -- Analog/Digital Co-Design -- F. Heuschen, K. Waldschmidt -- A Design Methodology for Embedded Systems based on -- Multiple Processors -- L. Carro, F. Wagner, M Kreutz, M. Oyamada Session 2: Architecture An Architecture for Reliable Distributed Computer-Controlled Systems -- L. M. Pinho, F. Vasques -- Generic Architecture Platform for Multiprocessor System-On-Chip Design -- A. Baghdadi, N-E. Zergainoh, D. Lyonnard, A. A. Jerraya -- JPURE - A Purified Java Execution Environment for Controller Networks -- D. Beuche, L. Buttner, D. Mahrenholz, W. Schroder-Preikschat, -- F. Schon -- Optimizing Functional distribution in Complex System Design -- O. P. Dias, I. M Teixeira, J P. Teixeira, L. B. Becker, C. E. Pereira Session 3: Design Environments Customizing Software Toolkits for Embedded Systems-On-Chip -- A. Halambi, N. Dutt, A. Nicolau -- Framework for System Design, Validation and Fast Prototyping of -- Multiprocessor System-On-Chip -- N. E. Zergainoh, A. Baghdadi, L. Tambour, D. Lyonnard, L. Gauthier, -- A. Jerraya -- The Specification Language SpecC within the PARADISE Design -- Environment -- A. Rettberg, F. J. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt, -- B. Kleinjohann -- vi Session 4: Methodology II Real-Time Support for Online Controller Supervision and Optimisation -- M. Deppe, O. Oberschelp -- A Product Family Approach to Graceful Degradation -- W. Nace, P. Koopman -- Environment Modelling in Closed Specifications of Embedded Systems -- M. Katara, A. Luoma Session 5: Test and Validation Test Case Design for the Validation of Component-Based Embedded -- Systems -- W. Fleisch -- Timing Constraints Validation using UPPAAL: Schedulability Analysis -- H. Sun Session 6: Distribution and Communication A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor -- Systems -- Y. Qiao, H. Wang, G. Dai -- Deriving Message Passing Protocols from Collective Behavior -- P. Kellomaki -- Java Real-Time Publish-Subscribe Middleware for Distributed Embedded -- Systems -- D. Kim, Y. Doh, Y.-H. Lee Session 7: Synthesis A Verified Hardware Synthesis of Esterel Programs -- K. Schneider -- EXPLORA - Generic Design Space Exploration during Embedded System -- Synthesis -- F. Cieslok, H. Esau, J. Teich -- Automatic Code Generation for Multirate Simulink Models with Support -- for the OSEK Real-Time Operating System -- C. Homburg, U. Kiffmeier, L. Kosters.".
2001020410 title "Architecture and design of distributed embedded systems : IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloss Eringerfeld, Germany / edited by Bernd Kleinjohann.".
2001020410 type "text".