Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Robert Wille
*
, Oliver Keszocze, Lars Othmer,
Michael Kirkedal Thomsen
, Rolf Drechsler
*
Corresponding author af dette arbejde
Datalogisk Institut
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'An automated approach for generating and checking control logic for reversible hardware description language-based designs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Automated Approach
100%
Automatic Method
25%
Backward Calculation
25%
Circuit Description
25%
Computing Paradigm
25%
Conditional Statement
25%
Control Flow
75%
Control Logic
100%
Design Challenges
25%
Design Steps
25%
Forward Computation
25%
Hoare Logic
25%
Language Description
25%
Language-based
100%
Predicate Transformer
25%
Reverse Direction
25%
Reversible Circuit Design
25%
Reversible Computation
25%
Reversible Control
75%
Semantic Bases
25%
SyReC
25%
Computer Science
Automatic Solution
25%
computing paradigm
25%
Conditional Statement
25%
Control Flow
75%
Design Challenge
25%
Emerging Technology
25%
Forward Computation
25%
Hardware Description Languages
100%
Reverse Direction
25%