UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

r-map: Relating Implementation and Specification in Hardware Refinement Checking

IEEE transactions on computer-aided design of integrated circuits and systems, 2023-12, Vol.42 (12), p.1-1

2023

Volltextzugriff (PDF)

A hardware-based technique for efficient implicit information flow tracking

2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2016, p.1-7

2016

Volltextzugriff (PDF)

Transferable Pre-Synthesis PPA Estimation for RTL Designs With Data Augmentation Techniques

IEEE transactions on computer-aided design of integrated circuits and systems, 2024-06, p.1-1

2024

Volltextzugriff (PDF)

Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

Verification, Model Checking, and Abstract Interpretation, p.325-349

Volltextzugriff (PDF)

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

ACM transactions on design automation of electronic systems, 2019-01, Vol.24 (1), p.1-24

2019

Volltextzugriff (PDF)

The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification

Zhang, Hongce

2021

Volltextzugriff (PDF)

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction

2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, p.1-2

2024

Volltextzugriff (PDF)

INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms

2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, p.1-4

2023

Volltextzugriff (PDF)

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design

2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023, p.1-9

2023

Volltextzugriff (PDF)

Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables

2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021, p.1-9

2021

Volltextzugriff (PDF)

How Good is Your Property? A New Metric for Formal Property Coverage

2024 2nd International Symposium of Electronics Design Automation (ISEDA), 2024, p.204-209

2024

Volltextzugriff (PDF)

Synthesizing Environment Invariants for Modular Hardware Verification

Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.202-225

2020

Volltextzugriff (PDF)

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking

2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD), 2023, p.1-6

2023

Volltextzugriff (PDF)

DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction

2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, p.262-268

2024

Volltextzugriff (PDF)

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution

2024 IEEE LLM Aided Design Workshop (LAD), 2024, p.1-5

2024

Volltextzugriff (PDF)

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs

2024 IEEE LLM Aided Design Workshop (LAD), 2024, p.1-1

2024

Volltextzugriff (PDF)

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-10

2018

Volltextzugriff (PDF)

VISCOSITY, SURFACE TENSION, AND ATOMIZATION OF WATER-METHANOL AND DIESEL EMULSIONS

Atomization and Sprays, 2006, Vol.16 (1), p.1-14

2006

Volltextzugriff (PDF)

Effects of ambient UVB light on Pacific oyster Crassostrea gigas mantle tissue based on multivariate data

Ecotoxicology and environmental safety, 2024-04, Vol.274, p.116236-116236, Article 116236

2024

Volltextzugriff (PDF)

High-precision tracking and positioning for monitoring Holstein cattle

PloS one, 2024-05, Vol.19 (5), p.e0302277-e0302277

2024

Volltextzugriff (PDF)

BAK plays a key role in A-1331852-induced apoptosis in senescent chondrocytes

Biochemical and biophysical research communications, 2022-06, Vol.609, p.93-99

2022

Volltextzugriff (PDF)

Analysis of microbial communities on the coloured mantle surface of three common bivalves

Aquaculture reports, 2024-08, Vol.37, p.102220, Article 102220

2024

Volltextzugriff (PDF)

Ambient ultraviolet B radiation induced valve behavioral acclimation of Pacific oyster which resulted from the different response strategies of smooth and striated adductor muscles

Ecotoxicology and environmental safety, 2021-12, Vol.228, p.113035, Article 113035

2021

Volltextzugriff (PDF)

Preliminary investigation demonstrating the GHITM gene probably involved in apoptosis and growth of the golden apple snail (Pomacea canaliculata)

BMC genomics, 2020-01, Vol.21 (1), p.19-19, Article 19

2020

Volltextzugriff (PDF)

An improved extraction method reveals varied DNA content in different parts of the shells of Pacific oysters

Aquatic living resources (Montrouge), 2019, Vol.32 (5), p.5

2019

Volltextzugriff (PDF)

1 – 25 von 39

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(22)
Mit Volltextzugriff
(29)

Publikationsform

Sprache

Englisch
(39)

Erscheinungsjahr

n.n

Thema

Science & Technology
(26)
Technology
(13)
Computer Science
(11)
Life Sciences & Biomedicine
(11)
Hardware
(9)
Computer Science, Theory & Methods
(8)
Engineering
(8)
Engineering, Electrical & Electronic
(7)
Crassostrea Gigas
(6)
Algorithms
(5)
Computer Science, Software Engineering
(5)
Design Automation
(5)
Software
(5)
Animals
(4)
Deep Learning
(4)
Environmental Sciences
(4)
Environmental Sciences & Ecology
(4)
Formal Verification
(4)
Machine Learning
(4)
Marine & Freshwater Biology
(4)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

r-map: Relating Implementation and Specification in Hardware Refinement Checking

A hardware-based technique for efficient implicit information flow tracking

Transferable Pre-Synthesis PPA Estimation for RTL Designs With Data Augmentation Techniques

Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction

INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design

Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables

How Good is Your Property? A New Metric for Formal Property Coverage

Synthesizing Environment Invariants for Modular Hardware Verification

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking

DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

VISCOSITY, SURFACE TENSION, AND ATOMIZATION OF WATER-METHANOL AND DIESEL EMULSIONS

Effects of ambient UVB light on Pacific oyster Crassostrea gigas mantle tissue based on multivariate data

High-precision tracking and positioning for monitoring Holstein cattle

BAK plays a key role in A-1331852-induced apoptosis in senescent chondrocytes

Analysis of microbial communities on the coloured mantle surface of three common bivalves

Ambient ultraviolet B radiation induced valve behavioral acclimation of Pacific oyster which resulted from the different response strategies of smooth and striated adductor muscles

Preliminary investigation demonstrating the GHITM gene probably involved in apoptosis and growth of the golden apple snail (Pomacea canaliculata)

An improved extraction method reveals varied DNA content in different parts of the shells of Pacific oysters

Suchergebnisse filtern