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

Efficient Common-Mode Noise Suppression for Fiber-Optic Interferometric Sensor Using Heterodyne Demodulation

Journal of lightwave technology, 2016-12, Vol.34 (23), p.5453-5461

2016

Volltextzugriff (PDF)

Self-suppression of common-mode noises of the different fiber optic interferometric accelerometers

Optics express, 2018-06, Vol.26 (12), p.15384-15397

2018

Volltextzugriff (PDF)

Synthesizing Framework Models for Symbolic Execution

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.156-167

2016

Volltextzugriff (PDF)

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2129-2159, Article 71

2024

Volltextzugriff (PDF)

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures

IEEE open journal of the Computer Society, 2020, Vol.1, p.155-172

2020

Volltextzugriff (PDF)

Bootstrapping Library-Based Synthesis

Static Analysis, p.272-298

Volltextzugriff (PDF)

A new measurement scheme for delay parameters in TDM fiber optic interferometric sensor network

2017 25th Optical Fiber Sensors Conference (OFS), 2017, p.1-4

2017

Volltextzugriff (PDF)

A new fiber optic accelerometer with push-pull structure using 3×3 coupler

2017 25th Optical Fiber Sensors Conference (OFS), 2017, p.1-4

2017

Volltextzugriff (PDF)

Decidable logics combining heap structures and data

SIGPLAN notices, 2011-01, Vol.46 (1), p.611-622

2011

Volltextzugriff (PDF)

Natural synthesis of provably-correct data-structure manipulations

Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-28

2017

Volltextzugriff (PDF)

Microblog Topic-Words Detection Model for Earthquake Emergency Responses Based on Information Classification Hierarchy

International journal of environmental research and public health, 2021-07, Vol.18 (15), p.8000

2021

Volltextzugriff (PDF)

Comparative Synthesis: Learning Near-Optimal Network Designs by Query

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.91-120, Article 4

2023

Volltextzugriff (PDF)

Runtime verification of java programs for scenario-based specifications

Lecture notes in computer science, 2006, p.94-105

2006

Volltextzugriff (PDF)

HiAtGang: How to Mine the Gangs Hidden Behind DDoS Attacks

Chinese Journal of Electronics, 2022-03, Vol.31 (2), p.293-303

2022

Volltextzugriff (PDF)

Efficient Decision Procedures for Heaps Using STRAND

Static Analysis, p.43-59

Volltextzugriff (PDF)

A Decidable Logic for Tree Data-Structures with Measurements

Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.318-341

2019

Volltextzugriff (PDF)

Program synthesis with algebraic library specifications

Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25

2019

Volltextzugriff (PDF)

An empirical study of adaptive concretization for parallel program synthesis

Formal methods in system design, 2017-03, Vol.50 (1), p.75-95

2017

Volltextzugriff (PDF)

Application of optical sensing system in heavy oil recovery

Measurement : journal of the International Measurement Confederation, 2016-02, Vol.79, p.198-202

2016

Volltextzugriff (PDF)

Natural proofs for data structure manipulation in C using separation logic

SIGPLAN notices, 2014-06, Vol.49 (6), p.440-451

2014

Volltextzugriff (PDF)

Automatic test case generation for UML activity diagrams

International Conference on Software Engineering: Proceedings of the 2006 international workshop on Automation of software test; 23-23 May 2006, 2006, p.2-8

2006

Volltextzugriff (PDF)