UB Paderborn / Katalog / Suche / in CDI

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2016

Volltextzugriff (PDF)

Shadow Removal Using Intensity Surfaces and Texture Anchor Points

IEEE transactions on pattern analysis and machine intelligence, 2011-06, Vol.33 (6), p.1202-1216

2011

Volltextzugriff (PDF)

Hardware and Software: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2016

Volltextzugriff (PDF)

ddNF: An Efficient Data Structure for Header Spaces

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.49-64

2016

Volltextzugriff (PDF)

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.152-168

2016

Volltextzugriff (PDF)

Iterative User-Driven Fault Localization

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.82-98

2016

Volltextzugriff (PDF)

Improving Priority Promotion for Parity Games

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.117-133

2016

Volltextzugriff (PDF)

Multi-core SCC-Based LTL Model Checking

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.18-33

2016

Volltextzugriff (PDF)

Predator Shape Analysis Tool Suite

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.202-209

2016

Volltextzugriff (PDF)

Synthesis of Admissible Shields

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.134-151

2016

Volltextzugriff (PDF)

SAT-Based Combinational and Sequential Dependency Computation

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.1-17

2016

Volltextzugriff (PDF)

Formula Slicing: Inductive Invariants from Preconditions

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.169-185

2016

Volltextzugriff (PDF)

Advancing Software Model Checking Beyond Linear Arithmetic Theories

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.186-201

2016

Volltextzugriff (PDF)

Probabilistic Fault Localisation

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.65-81

2016

Volltextzugriff (PDF)

Improving Efficiency and Accuracy of Formula-Based Debugging

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.99-116

2016

Volltextzugriff (PDF)

Texture-Preserving Shadow Removal in Color Images Containing Curved Surfaces

2007 IEEE Conference on Computer Vision and Pattern Recognition, 2007, p.1-8

2007

Volltextzugriff (PDF)

Facilitating timing debug by logic path correspondence

Proceedings of the conference on Design, Automation & Test in Europe, 2014, p.1-6

2014

Volltextzugriff (PDF)

Gating Aware Error Injection

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.34-48

2016

Volltextzugriff (PDF)

Facilitating timing debug by logic path correspondence

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

2014

Volltextzugriff (PDF)

Resurrecting infeasible clock-gating functions

2009 46th ACM/IEEE Design Automation Conference, 2009, p.160-165

2009

Volltextzugriff (PDF)

A Novel Approach for Shadow Removal Based on Intensity Surface Approximation

2009

Volltextzugriff (PDF)

Automated detection and verification of parity-protected memory elements

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

2014

Volltextzugriff (PDF)

Bug Wars: Automation Awakens

Hardware and Software: Verification and Testing, 2016, Vol.10028

2016

Volltextzugriff (PDF)

Intro

Hardware and Software: Verification and Testing, 2016, Vol.10028

2016

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Shadow Removal Using Intensity Surfaces and Texture Anchor Points

Hardware and Software: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

ddNF: An Efficient Data Structure for Header Spaces

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques

Iterative User-Driven Fault Localization

Improving Priority Promotion for Parity Games

Multi-core SCC-Based LTL Model Checking

Predator Shape Analysis Tool Suite

Synthesis of Admissible Shields

SAT-Based Combinational and Sequential Dependency Computation

Formula Slicing: Inductive Invariants from Preconditions

Advancing Software Model Checking Beyond Linear Arithmetic Theories

Probabilistic Fault Localisation

Improving Efficiency and Accuracy of Formula-Based Debugging

Texture-Preserving Shadow Removal in Color Images Containing Curved Surfaces

Facilitating timing debug by logic path correspondence

Gating Aware Error Injection

Facilitating timing debug by logic path correspondence

Resurrecting infeasible clock-gating functions

A Novel Approach for Shadow Removal Based on Intensity Surface Approximation

Automated detection and verification of parity-protected memory elements

Bug Wars: Automation Awakens

Intro

Suchergebnisse filtern