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...

Can we really do without the support of formal methods in the verification of large designs?

Annual ACM IEEE Design Automation Conference: Proceedings of the 42nd annual conference on Design automation; 13-17 June 2005, 2005, p.672-673

Rossi, Umberto

2005

Volltextzugriff (PDF)

Real-Time Measurements of Gaseous and Particulate Emissions from Livestock Buildings and Manure Stores with Novel UAV-Based System

AIIA 2022: Biosystems Engineering Towards the Green Deal, 2023, Vol.337, p.1049-1056

2023

Volltextzugriff (PDF)

An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

Design, Automation and Test in Europe, 2005, p.266-271

2005

Volltextzugriff (PDF)

Growth Poles, Growth Centers

International Encyclopedia of Human Geography, 2009, Vol.4, p.651-656

Rossi, U.

2009

Volltextzugriff (PDF)

A 1000X speed up for properties completeness evaluation

Seventh IEEE International High-Level Design Validation and Test Workshop, 2002, 2002, p.18-22

2002

Volltextzugriff (PDF)

Anglo-American/Anglophone Hegemony

International Encyclopedia of Human Geography, 2009, Vol.1, p.116-121

2009

Volltextzugriff (PDF)

Industrial District

International Encyclopedia of Human Geography, 2009, Vol.5, p.389-395

2009

Volltextzugriff (PDF)

On the use of a high-level fault model to check properties incompleteness

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings, 2003, p.145-152

2003

Volltextzugriff (PDF)

The portal, splenic, and mesenteric vein system

Revista de gastroenterologia de Mexico (English), 2020, Vol.85 (2), p.209-210

2020

Volltextzugriff (PDF)

A verification methodology for reconfigurable systems

Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004, p.85-90

2004

Volltextzugriff (PDF)

An error simulation based approach to measure error coverage of formal properties

Great Lakes Symposium on VLSI: Proceedings of the 12th ACM Great Lakes symposium on VLSI; 18-19 Apr. 2002, 2002, p.53-58

2002

Volltextzugriff (PDF)

Industrial Districts

International Encyclopedia of Human Geography, p.389-395

Volltextzugriff (PDF)

Verification of soft error detection mechanism through fault injection on hardware emulation platform

2010 International Conference on Dependable Systems and Networks Workshops (DSN-W), 2010, p.113-118

2010

Volltextzugriff (PDF)

Reliability of fibre optic transmission lines

IEEE Global Telecommunications Conference and Exhibition. Communications for the Information Age, 1988, p.77-82 vol.1

Rossi, U.

1988

Volltextzugriff (PDF)

Concrete impact of formal verification on quality in IP design and implementation

Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design, 2001, p.38-43

2001

Volltextzugriff (PDF)

LION: an innovative approach to multi-service business networks

1989 IEEE Global Telecommunications Conference and Exhibition 'Communications Technology for the 1990s and Beyond', 1989, p.1308-1312 vol.3

1989

Volltextzugriff (PDF)

Advanced Concepts, Methodologies and Technologies for Transportation and Logistics

1, 2017

Volltextzugriff (PDF)

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

1995

Volltextzugriff (PDF)

A guideline to link the off-design performance of a micro-gas turbine to a heavy-duty gas turbine in a test rig that aim to investigate flexibility of GTCC

E3S Web of Conferences, 2021, Vol.238, p.5003

2021

Volltextzugriff (PDF)

Energy recovery from biowaste: influence of hydraulic retention time on biogas production in dry-anaerobic digestion

E3S Web of Conferences, 2021, Vol.238, p.1007

2021

Volltextzugriff (PDF)

Crossing Real and Virtual: Pepper Robot as an Interactive Digital Twin

RoboCup 2023: Robot World Cup XXVI, 2024, Vol.14140, p.275-286

2024

Volltextzugriff (PDF)

In Defense of Scene Graph Generation for Human-Robot Open-Ended Interaction in Service Robotics

RoboCup 2023: Robot World Cup XXVI, 2024, Vol.14140, p.299-310

2024

Volltextzugriff (PDF)

RoboCup@Home SSPL Champion 2023: RoboBreizh, a Fully Embedded Approach

RoboCup 2023: Robot World Cup XXVI, 2024, Vol.14140, p.374-385

2024

Volltextzugriff (PDF)

RoboNLU: Advancing Command Understanding with a Novel Lightweight BERT-Based Approach for Service Robotics

RoboCup 2023: Robot World Cup XXVI, 2024, Vol.14140, p.29-41

2024

Volltextzugriff (PDF)

Anthropomorphic Human-Robot Interaction Framework: Attention Based Approach

RoboCup 2023: Robot World Cup XXVI, 2024, Vol.14140, p.262-274

2024

Volltextzugriff (PDF)

1 – 25 von 185

Menü

Weitere Dienste

Einstellungen

Can we really do without the support of formal methods in the verification of large designs?

Real-Time Measurements of Gaseous and Particulate Emissions from Livestock Buildings and Manure Stores with Novel UAV-Based System

An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

Growth Poles, Growth Centers

A 1000X speed up for properties completeness evaluation

Anglo-American/Anglophone Hegemony

Industrial District

On the use of a high-level fault model to check properties incompleteness

The portal, splenic, and mesenteric vein system

A verification methodology for reconfigurable systems

An error simulation based approach to measure error coverage of formal properties

Industrial Districts

Verification of soft error detection mechanism through fault injection on hardware emulation platform

Reliability of fibre optic transmission lines

Concrete impact of formal verification on quality in IP design and implementation

LION: an innovative approach to multi-service business networks

Advanced Concepts, Methodologies and Technologies for Transportation and Logistics

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

A guideline to link the off-design performance of a micro-gas turbine to a heavy-duty gas turbine in a test rig that aim to investigate flexibility of GTCC

Energy recovery from biowaste: influence of hydraulic retention time on biogas production in dry-anaerobic digestion

Crossing Real and Virtual: Pepper Robot as an Interactive Digital Twin

In Defense of Scene Graph Generation for Human-Robot Open-Ended Interaction in Service Robotics

RoboCup@Home SSPL Champion 2023: RoboBreizh, a Fully Embedded Approach

RoboNLU: Advancing Command Understanding with a Novel Lightweight BERT-Based Approach for Service Robotics

Anthropomorphic Human-Robot Interaction Framework: Attention Based Approach

Aktive Filter

Suchergebnisse filtern