Compositional Dataflow via Abstract Transition Systems

doi 10.2172/1078549
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Office of Scientific and Technical Information (OSTI)

Related search

Formalization of Abstract State Transition Systems for SAT

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Classification of Dataflow Actors With Satisfiability and Abstract Interpretation

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2012English

Compositional Optimization of Disjunctive Abstract Interpretations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Modelling of Complex Systems: Systems as Dataflow Machines

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Scaling Data Mining in Massively Parallel Dataflow Systems

2014English

Compositional Transient Stability Analysis of Power Systems via the Computation of Reachable Sets

2017English

Learning Monolingual Compositional Representations via Bilingual Supervision

2016English

Compositional Models in Valuation-Based Systems

Belief Functions: Theory and Applications
2012English

Quasi-Static Scheduling of Reconfigurable Dataflow Graphs for DSP Systems

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy