MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04532nam a22005535i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-1-4020-9714-0 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20170628033531.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100301s2009 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781402097140 |
| -- |
978-1-4020-9714-0 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-1-4020-9714-0 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK7888.4 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFC |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TEC008010 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.3815 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Radetzki, Martin. |
| Relator term |
editor. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Languages for Embedded Systems and their Applications |
| Medium |
[electronic resource] : |
| Remainder of title |
Selected Contributions on Specification, Design, and Verification from FDL’08 / |
| Statement of responsibility, etc |
edited by Martin Radetzki. |
| 264 #1 - |
|---|
| -- |
Dordrecht : |
| -- |
Springer Netherlands, |
| -- |
2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XIV, 324 p. |
| Other physical details |
online resource. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Electrical Engineering, |
| International Standard Serial Number |
1876-1100 ; |
| Volume number/sequential designation |
36 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Model-Based System Specification Languages -- Power and Energy Estimations in Model-Based Design -- MARTE vs. AADL for Discrete-Event and Discrete-Time Domains -- Generation of MARTE Allocation Models from Activity Threads -- Model-Driven System Validation by Scenarios -- An Advanced Simulink Verification Flow Using SystemC -- Languages for Heterogeneous System Design -- VHDL–AMS Implementation of a Numerical Ballistic CNT Model -- Wide-Band Sigma–Delta ADC Design in Superconducting Technology -- Heterogeneous and Non-linear Modeling in SystemC–AMS -- Digital Systems Design Methodologies Based on C++ -- Application Workload and SystemC Platform Modeling for Performance Evaluation -- Adaptive Interconnect Models for Transaction-Level Simulation -- Efficient Architecture Evaluation Using Functional Mapping -- Symbolic Scheduling of SystemC Dataflow Designs -- SystemC Simulation of Networked Embedded Systems -- Modeling of Embedded Software Multitasking in SystemC/OSSS -- High-Level Reconfiguration Modeling in SystemC -- Stream Programming for FPGAs -- Verification and Requirements Evaluation -- A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level -- Debugging Contradictory Constraints in Constraint-Based Random Simulation -- Design of Communication Infrastructures for Reconfigurable Systems -- Analysis of Non-functional Properties of MPSoC Designs. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages. The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer system performance. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer simulation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systems engineering. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Circuits and Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronics and Microelectronics, Instrumentation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System Performance and Evaluation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Simulation and Modeling. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9781402097133 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture Notes in Electrical Engineering, |
| -- |
1876-1100 ; |
| Volume number/sequential designation |
36 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a> |
| 912 ## - |
|---|
| -- |
ZDB-2-ENG |
