partial logic Latest Research Papers

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

10.1109/dsd53832.2021.00040 ◽

2021 ◽

Author(s):

Tobias Scheipel ◽

Peter Brungs ◽

Marcel Baunach

Keyword(s):

Partial Logic

Download Full-text

Automatic correction of logic bugs in hardware design: Partial logic synthesis

Procedia Computer Science ◽

10.1016/j.procs.2017.12.101 ◽

2018 ◽

Vol 125 ◽

pp. 790-800

Author(s):

Masahiro Fujita

Keyword(s):

Hardware Design ◽

Logic Synthesis ◽

Automatic Correction ◽

Partial Logic

Download Full-text

Truth, Partial Logic and Infinitary Proof Systems

Studia Logica ◽

10.1007/s11225-017-9751-y ◽

2017 ◽

Vol 106 (3) ◽

pp. 515-540 ◽

Cited By ~ 1

Author(s):

Martin Fischer ◽

Norbert Gratzl

Keyword(s):

Proof Systems ◽

Partial Logic

Download Full-text

Topological Analysis of Multi-state Systems Based on Direct Partial Logic Derivatives

Springer Series in Reliability Engineering - Recent Advances in Multi-state Systems Reliability ◽

10.1007/978-3-319-63423-4_14 ◽

2017 ◽

pp. 265-281 ◽

Cited By ~ 6

Author(s):

Miroslav Kvassay ◽

Elena Zaitseva

Keyword(s):

Topological Analysis ◽

Partial Logic

Download Full-text

Analysis of Boundary States of Multi-state System by Direct Partial Logic Derivatives

Information and Communication Technologies in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-319-30246-1_9 ◽

2016 ◽

pp. 140-155 ◽

Cited By ~ 1

Author(s):

Elena Zaitseva ◽

Vitaly Levashenko ◽

Jozef Kostolny ◽

Miroslav Kvassay

Keyword(s):

State System ◽

Partial Logic ◽

Boundary States

Download Full-text

New algorithm for calculation of Fussell-Vesely importance with application of direct partial logic derivatives

Safety and Reliability of Complex Engineered Systems ◽

10.1201/b19094-186 ◽

2015 ◽

pp. 1423-1430 ◽

Cited By ~ 1

Author(s):

M Kvassay ◽

E Zaitseva ◽

J Kostolny ◽

V Levashenko

Keyword(s):

Partial Logic

Download Full-text

Importance analysis of multi-state systems based on integrated direct partial logic derivatives

2015 International Conference on Information and Digital Technologies ◽

10.1109/dt.2015.7222970 ◽

2015 ◽

Cited By ~ 17

Author(s):

Miroslav Kvassay ◽

Elena Zaitseva ◽

Jozef Kostolny ◽

Vitaly Levashenko

Keyword(s):

Partial Logic ◽

Importance Analysis

Download Full-text

Towards Fuzzy Partial Logic

2015 IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2015.43 ◽

2015 ◽

Cited By ~ 13

Author(s):

Libor Behounek ◽

Vilem Novak

Keyword(s):

Partial Logic

Download Full-text

Axiomatizing Kripke's theory in partial logic

Axiomatic Theories of Truth ◽

10.1017/cbo9781139696586.019 ◽

2015 ◽

pp. 214-242

Author(s):

Volker Halbach

Keyword(s):

Partial Logic

Download Full-text

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_6 ◽

2015 ◽

pp. 41-48 ◽

Cited By ~ 3

Author(s):

Jozef Kostolny ◽

Elena Zaitseva ◽

Suzana Stojković ◽

Radomir Stanković

Keyword(s):

Decision Diagrams ◽

Partial Logic

Download Full-text

partial logic
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

Automatic correction of logic bugs in hardware design: Partial logic synthesis

Truth, Partial Logic and Infinitary Proof Systems

Topological Analysis of Multi-state Systems Based on Direct Partial Logic Derivatives

Analysis of Boundary States of Multi-state System by Direct Partial Logic Derivatives

New algorithm for calculation of Fussell-Vesely importance with application of direct partial logic derivatives

Importance analysis of multi-state systems based on integrated direct partial logic derivatives

Towards Fuzzy Partial Logic

Axiomatizing Kripke's theory in partial logic

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

Export Citation Format

partial logicRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

Automatic correction of logic bugs in hardware design: Partial logic synthesis

Truth, Partial Logic and Infinitary Proof Systems

Topological Analysis of Multi-state Systems Based on Direct Partial Logic Derivatives

Analysis of Boundary States of Multi-state System by Direct Partial Logic Derivatives

New algorithm for calculation of Fussell-Vesely importance with application of direct partial logic derivatives

Importance analysis of multi-state systems based on integrated direct partial logic derivatives

Towards Fuzzy Partial Logic

Axiomatizing Kripke's theory in partial logic

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

partial logic
Recently Published Documents