Distributed Synthesis for Regular and Contextfree Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-22993-0_48
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

Regular Specifications of Resource Requirements for Embedded Control Software

2008English

Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Distributed Memory Code Generation for Mixed Irregular/Regular Computations

ACM SIGPLAN Notices
Computer Science
2015English

Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Synthesis From Imprecise Specifications

2004English

Distributed Models for Filter Synthesis

IEEE Microwave Magazine
Electronic EngineeringRadiationElectricalCondensed Matter Physics
2011English

Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity

2019English

Distributed Synthesis for Well-Connected Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy