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

A Gentle Introduction to Multi-stage Programming, Part II

Generative and Transformational Techniques in Software Engineering II, 2008, p.260-290

2008

Volltextzugriff (PDF)

Compile-Time Extensions to Hybrid ODEs

Electronic proceedings in theoretical computer science, 2017-04, Vol.247 (Proc. SNR 2017), p.52-70

2017

Volltextzugriff (PDF)

Safe & robust reachability analysis of hybrid systems

Theoretical computer science, 2018-11, Vol.747, p.75-99

2018

Volltextzugriff (PDF)

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Cyber Physical Systems. Model-Based Design, 2020, Vol.11971, p.108-126

2020

Volltextzugriff (PDF)

Gradual typing for objects

Proceedings of the 21st European conference on Object-Oriented Programming, 2007, p.2-27

2007

Volltextzugriff (PDF)

Accurate Programming: Thinking about programs in terms of properties

Electronic proceedings in theoretical computer science, 2011-09, Vol.66 (Proc. DSL 2011), p.236-260

2011

Volltextzugriff (PDF)

Reactors: A Deterministic Model for Composable Reactive Systems

Cyber Physical Systems. Model-Based Design, p.59-85

Volltextzugriff (PDF)

Implicitly heterogeneous multi-stage programming

Generative Programming and Component Engineering, 2005, p.275-292

1ère éd, 2005

Volltextzugriff (PDF)

Implicitly Heterogeneous Multi-Stage Programming

New generation computing, 2007-01, Vol.25 (3), p.305-336

2007

Volltextzugriff (PDF)

MetaML and multi-stage programming with explicit annotations

Theoretical computer science, 2000-10, Vol.248 (1), p.211-242

2000

Volltextzugriff (PDF)

A Semantic Analysis of C++ Templates

ECOOP 2006 - Object-Oriented Programming, 2006, p.304-327

2006

Volltextzugriff (PDF)

Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand

Cyber Physical Systems. Model-Based Design, p.44-58

Volltextzugriff (PDF)

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs

Cyber Physical Systems. Model-Based Design, p.203-227

Volltextzugriff (PDF)

Competence Networks in the Era of CPS – Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center

Cyber Physical Systems. Model-Based Design, 2019, p.264-283

2019

Volltextzugriff (PDF)

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Cyber Physical Systems. Model-Based Design, p.89-107

Volltextzugriff (PDF)

An Embedded Graduate Lab Course with Spirit

Cyber Physical Systems. Model-Based Design, p.247-263

Volltextzugriff (PDF)

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Cyber Physical Systems. Model-Based Design, p.153-178

Volltextzugriff (PDF)

A Modular SystemC RTOS Model for Uncertainty Analysis

Cyber Physical Systems. Model-Based Design, p.3-27

Volltextzugriff (PDF)

Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems

Cyber Physical Systems. Model-Based Design, p.127-152

Volltextzugriff (PDF)

Reasoning about Multi-stage Programs

Programming Languages and Systems, 2012, p.357-376

2012

Volltextzugriff (PDF)

Embedded Probabilistic Programming

Domain-Specific Languages, p.360-384

Volltextzugriff (PDF)

Meta-programming with Concrete Object Syntax

Generative Programming And Component Engineering; Vol. 2487: Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering; 06-08 Oct. 2002, 2002, p.299-315

2002

Volltextzugriff (PDF)