The Resource Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04, edited by Pierre Boulet, (electronic resource)

Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04, edited by Pierre Boulet, (electronic resource)

Label
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04
Title
Advances in Design and Specification Languages for SoCs
Title remainder
Selected Contributions from FDL’04
Statement of responsibility
edited by Pierre Boulet
Creator
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computation
Member of
http://bibfra.me/vocab/relation/corporateauthor
qiVZpenopb8
Dewey number
621.3815
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
yJrF6sWpXpY
Language note
English
LC call number
TK7888.4
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
FDL'04
Nature of contents
dictionaries
http://bibfra.me/vocab/lite/organizationName
FDL'04
http://library.link/vocab/relatedWorkOrContributorName
  • FDL'04
  • Boulet, Pierre.
Series statement
The ChDL series
http://library.link/vocab/subjectName
  • Systems engineering
  • Information theory
  • Computer engineering
  • Computer aided design
  • Electronics
  • Computer simulation
  • Circuits and Systems
  • Theory of Computation
  • Electrical Engineering
  • Computer-Aided Engineering (CAD, CAE) and Design
  • Electronics and Microelectronics, Instrumentation
  • Simulation and Modeling
Label
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04, edited by Pierre Boulet, (electronic resource)
Instantiates
Publication
Note
"... papers ... presented in the AMS Workshop of the FDL'04 Conference. The papers have been revised ..."--Introd
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Analog and Mixed-Signal Systems -- Refinement of Mixed-Signal Systems: Between Heaven and Hell -- Mixed Nets, Conversion Models, and VHDL-AMS -- Monte Carlo Simulation Using VHDL-AMS -- Early Prediction of Conducted-Mode Emission of Complex Ic’s -- Practical Case Example of Inertial Mems Modeling with VHDL-AMS -- UML-Based System Specification and Design -- Metamodels and MDA Transformations for Embedded Systems -- Model Based Testing and Refinement in MDA Based Development -- Predictability in Real-Time System Development -- Timing Performances of Automatically Generated Code Using MDA Approaches -- UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology -- C/C++-Based System Design -- Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS -- Heterogeneous System-Level Specification in Systemc -- xHDL: Extending VHDL to Improve Core Parameterization and Reuse -- Systemc Models for Realistic Simulations Involving Real-Time Operating System Services -- Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip -- Invited Contributions -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar
Dimensions
unknown
Extent
1 online resource (310 p.)
Form of item
online
Isbn
9780387261515
Media category
computer
Media type code
c
Other control number
10.1007/b136935
Specific material designation
remote
System control number
  • (CKB)1000000000227908
  • (EBL)302864
  • (OCoLC)209835240
  • (SSID)ssj0000098406
  • (PQKBManifestationID)11130911
  • (PQKBTitleCode)TC0000098406
  • (PQKBWorkID)10133662
  • (PQKB)11538650
  • (DE-He213)978-0-387-26151-5
  • (MiAaPQ)EBC302864
  • (EXLCZ)991000000000227908
Label
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04, edited by Pierre Boulet, (electronic resource)
Publication
Note
"... papers ... presented in the AMS Workshop of the FDL'04 Conference. The papers have been revised ..."--Introd
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Analog and Mixed-Signal Systems -- Refinement of Mixed-Signal Systems: Between Heaven and Hell -- Mixed Nets, Conversion Models, and VHDL-AMS -- Monte Carlo Simulation Using VHDL-AMS -- Early Prediction of Conducted-Mode Emission of Complex Ic’s -- Practical Case Example of Inertial Mems Modeling with VHDL-AMS -- UML-Based System Specification and Design -- Metamodels and MDA Transformations for Embedded Systems -- Model Based Testing and Refinement in MDA Based Development -- Predictability in Real-Time System Development -- Timing Performances of Automatically Generated Code Using MDA Approaches -- UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology -- C/C++-Based System Design -- Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS -- Heterogeneous System-Level Specification in Systemc -- xHDL: Extending VHDL to Improve Core Parameterization and Reuse -- Systemc Models for Realistic Simulations Involving Real-Time Operating System Services -- Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip -- Invited Contributions -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar
Dimensions
unknown
Extent
1 online resource (310 p.)
Form of item
online
Isbn
9780387261515
Media category
computer
Media type code
c
Other control number
10.1007/b136935
Specific material designation
remote
System control number
  • (CKB)1000000000227908
  • (EBL)302864
  • (OCoLC)209835240
  • (SSID)ssj0000098406
  • (PQKBManifestationID)11130911
  • (PQKBTitleCode)TC0000098406
  • (PQKBWorkID)10133662
  • (PQKB)11538650
  • (DE-He213)978-0-387-26151-5
  • (MiAaPQ)EBC302864
  • (EXLCZ)991000000000227908

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...