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

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

1998

Volltextzugriff (PDF)

Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures

ACM transactions on embedded computing systems, 2015-05, Vol.14 (3), p.1-25

2015

Volltextzugriff (PDF)

Correctness issues on MARTE/CCSL constraints

Science of computer programming, 2015-08, Vol.106, p.78-92

2015

Volltextzugriff (PDF)

The synchronous languages 12 years later

Proceedings of the IEEE, 2003-01, Vol.91 (1), p.64-83

2003

Volltextzugriff (PDF)

Loops in esterel

ACM transactions on embedded computing systems, 2005-11, Vol.4 (4), p.708-750

2005

Volltextzugriff (PDF)

Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements

2016 Euromicro Conference on Digital System Design (DSD), 2016, p.318-325

2016

Volltextzugriff (PDF)

Alternating refinement relations

CONCUR'98 Concurrency Theory, 2006, p.163-178

2006

Volltextzugriff (PDF)

Syntax-driven optimisations for reachable state space construction of ESTEREL programs

International journal of embedded systems, 2006, Vol.2 (3/4), p.228

2006

Volltextzugriff (PDF)

Periodic scheduling of marked graphs using balanced binary words

Theoretical computer science, 2012-11, Vol.458 (2), p.113-130

2012

Volltextzugriff (PDF)

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System

2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020, p.415-424

2020

Volltextzugriff (PDF)

Direct Numerical Simulation of Stress States in White Matter via a Triphasic Continuum Model of 3D Axons Tethered to Glia

de Simone, Robert

2019

Volltextzugriff (PDF)

Overcoming Drug Interference in Transfusion Testing: A Spotlight on Daratumumab

Journal of blood medicine, 2021-01, Vol.12, p.327-336

2021

Volltextzugriff (PDF)

Instant-Based and State-Based Analysis of Infinite Logical Clock

Structured Object-Oriented Formal Language and Method, p.32-51

Volltextzugriff (PDF)

Execution of heterogeneous models for thermal analysis with a multi-view approach

Proceedings of the 2014 Forum on Specification and Design Languages (FDL), 2014, Vol.978-2-9530504-9-3, p.1-8

2014

Volltextzugriff (PDF)

Explicit routing schemes for implementation of cellular automata on processor arrays

Natural computing, 2013-09, Vol.12 (3), p.353-368

2013

Volltextzugriff (PDF)

Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays

2014 14th International Conference on Application of Concurrency to System Design, 2014, p.112-121

2014

Volltextzugriff (PDF)

The Clock Constraint Specification Language for building timed causality models

Innovations in systems and software engineering, 2010-03, Vol.6 (1-2), p.99-106

2010

Volltextzugriff (PDF)

Divergence Detection for CCSL Specification via Clock Causality Chain

Dependable Software Engineering: Theories, Tools, and Applications, 2016, Vol.9984, p.18-37

2016

Volltextzugriff (PDF)

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

Fundamenta informaticae, 2011, Vol.108 (1-2), p.91-118

2011

Volltextzugriff (PDF)

Modeling Time(s)

Model Driven Engineering Languages and Systems, p.559-573

Volltextzugriff (PDF)

It's about time: Real-time logics reviewed

CONCUR'98 Concurrency Theory, 2006, p.439-454

2006

Volltextzugriff (PDF)

Schedulability Analysis with CCSL Specifications

2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013, Vol.1, p.414-421

2013

Volltextzugriff (PDF)

The ESTEREL language

Proceedings of the IEEE, 1991-09, Vol.79 (9), p.1293-1304

1991

Volltextzugriff (PDF)

Modeling time(s)

Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, 2007, p.559-573

2007

Volltextzugriff (PDF)

Instantaneous termination in pure Esterel

Lecture notes in computer science, 2003, p.91-108

2003

Volltextzugriff (PDF)

1 – 25 von 839

Menü

Weitere Dienste

Einstellungen

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures

Correctness issues on MARTE/CCSL constraints

The synchronous languages 12 years later

Loops in esterel

Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements

Alternating refinement relations

Syntax-driven optimisations for reachable state space construction of ESTEREL programs

Periodic scheduling of marked graphs using balanced binary words

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System

Direct Numerical Simulation of Stress States in White Matter via a Triphasic Continuum Model of 3D Axons Tethered to Glia

Overcoming Drug Interference in Transfusion Testing: A Spotlight on Daratumumab

Instant-Based and State-Based Analysis of Infinite Logical Clock

Execution of heterogeneous models for thermal analysis with a multi-view approach

Explicit routing schemes for implementation of cellular automata on processor arrays

Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays

The Clock Constraint Specification Language for building timed causality models

Divergence Detection for CCSL Specification via Clock Causality Chain

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

Modeling Time(s)

It's about time: Real-time logics reviewed

Schedulability Analysis with CCSL Specifications

The ESTEREL language

Modeling time(s)

Instantaneous termination in pure Esterel

Suchergebnisse filtern