GHU Logo
The Great Heights University Library
Academic discovery, digital access, and research support

Design Automation for Embedded Systems (Record no. 2060)

MARC details
000 -LEADER
fixed length control field 03244nas a22003255i 4500
001 - CONTROL NUMBER
control field 1572-8080
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260610082458.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 150723s||||||||xxuuu poo|||||| b|EN |d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 1572-8080
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/10617.1572-8080
Source of number or code doi
210 10 - ABBREVIATED TITLE
Abbreviated title Des Autom Embed Syst
245 10 - TITLE STATEMENT
Title Design Automation for Embedded Systems
Medium [electronic resource] :
Remainder of title An International Journal /
Statement of responsibility, etc. edited by Reinaldo A. Bergamaschi, Wolfgang Rosenstiel.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture New York :
Name of producer, publisher, distributor, manufacturer Springer US :
-- Imprint: Springer.
300 ## - online resource
Other physical details online resource.
520 ## - SUMMARY, ETC.
Summary, etc. Design Automation for Embedded Systems is a multidisciplinary journal dedicated to cutting-edge research in the automation of embedded systems design. As embedded systems evolve to meet the demands of increasingly complex and intelligent applications—spanning sectors from automotive and aerospace to IoT and edge AI—the need for advanced design methodologies and tools has never been greater. The journal focuses on innovations that push the boundaries of how embedded systems are architected, designed, verified, and deployed. Core areas of interest include: Hardware-Software Co-design, synthesis, and optimization for embedded systems, FPGAs, multicore, and heterogeneous systems AI-assisted design and optimization workflows, including agentic systems and reinforcement-learning-based automation System-level methodologies leveraging large language models (LLMs) for specification, code synthesis, hardware/software partitioning, and design-space exploration LLM-aided tools for Register-Transfer Level (RTL) design, High-Level Synthesis (HLS), and formal verification AI hardware acceleration and co-design methodologies for deploying machine learning workloads on edge and embedded platforms New datasets, benchmarks, and evaluation frameworks that enable reproducibility and standardization in embedded system design research Data science and analytics techniques applied to design automation pipelines, performance tuning, and debugging We welcome contributions that blend embedded systems with advances in artificial intelligence, computer architecture, design methodology, and software engineering. High-quality submissions may include theoretical innovations, practical tools and frameworks, novel architectures, empirical studies, and real-world case studies. Design Automation for Embedded Systems serves as a forum for researchers and practitioners to present transformative ideas that advance the future of intelligent, automated embedded system design. .
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic circuits.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer-aided engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computers, Special purpose.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic Circuits and Systems.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer-Aided Engineering (CAD, CAE) and Design.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Special Purpose and Application-Based Systems.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bergamaschi, Reinaldo A.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rosenstiel, Wolfgang.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed version:
International Standard Serial Number 0929-5585
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/10617.1572-8080">https://doi.org/10.1007/10617.1572-8080</a>
Public note Hybrid

No items available.