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)

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

Zhang, Hongce

2021

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)

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)

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

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

2006

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)

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)

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)

The detoxification ability of sex-role reversed seahorses determines the sexual dimorphism in immune responses to benzo[a]pyrene exposure

The Science of the total environment, 2024-07, Vol.933, p.173088-173088, Article 173088

2024

Volltextzugriff (PDF)

Regulation of Biomineralization and Autophagy by the Stress-Sensing Transcription Factor CgRunx1 in Crassostrea gigas Under Daylight Ultraviolet B Radiation

Marine biotechnology (New York, N.Y.), 2024-09

2024

Volltextzugriff (PDF)

1 – 25 von 37

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

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

Publikationsform

Sprache

Englisch
(37)

Erscheinungsjahr

n.n

Thema

Science & Technology
(26)
Technology
(13)
Computer Science
(11)
Life Sciences & Biomedicine
(11)
Computer Science, Theory & Methods
(8)
Engineering
(8)
Hardware
(8)
Engineering, Electrical & Electronic
(7)
Crassostrea Gigas
(6)
Algorithms
(5)
Animals
(5)
Computer Science, Software Engineering
(5)
Design Automation
(5)
Software
(5)
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

... seit 30 Tagen
(1)
... seit 90 Tagen
(3)

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

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

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) 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

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

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

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

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

The detoxification ability of sex-role reversed seahorses determines the sexual dimorphism in immune responses to benzo[a]pyrene exposure

Regulation of Biomineralization and Autophagy by the Stress-Sensing Transcription Factor CgRunx1 in Crassostrea gigas Under Daylight Ultraviolet B Radiation

Suchergebnisse filtern