Local Consistency Check in Synchronous Dataflow Models

Author(s):  
Dina Irofti ◽  
Paul Dubrulle
Author(s):  
Matthieu Wipliez ◽  
Mickaël Raulet

Dataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile-time analysis and predictability. More recently, dynamic dataflow is being used for the description of multimedia video standards as promoted by the RVC standard (ISO/IEC 23001:4). Dynamic dataflow is not restricted with respect to expressive power, but it does require runtime scheduling in the general case, which may be costly to perform on software. The authors presented in a previous paper a method to automatically classify actors of a dynamic dataflow program within more restrictive dataflow models when possible, along with a method to transform the actors classified as static to improve execution speed by reducing the number of FIFO accesses (Wipliez & Raulet, 2010). This paper presents an extension of the classification method using satisfiability solving, and details the precise semantics used for the abstract interpretation of actors. The extended classification is able to classify more actors than what could previously be achieved.


2018 ◽  
Vol 20 (2) ◽  
pp. 171-179
Author(s):  
Shuanghui ZHANG ◽  
Lei ZOU ◽  
Rui ZHAO ◽  
Wenhua MA
Keyword(s):  

2021 ◽  
Vol 2021 (6) ◽  
Author(s):  
David Osten

Abstract A classical Ed(d)-invariant Hamiltonian formulation of world-volume theories of half-BPS p-branes in type IIb and eleven-dimensional supergravity is proposed, extending known results to d ≤ 6. It consists of a Hamiltonian, characterised by a generalised metric, and a current algebra constructed s.t. it reproduces the Ed(d) generalised Lie derivative. Ed(d)-covariance necessitates the introduction of so-called charges, specifying the type of p-brane and the choice of section. For p > 2, currents of p-branes are generically non- geometric due to the imposition of U-duality, e.g. the M5-currents contain coordinates associated to the M2-momentum.A derivation of the Ed(d)-invariant current algebra from a canonical Poisson structure is in general not possible. At most, one can derive a current algebra associated to para-Hermitian exceptional geometry.The membrane in the SL(5)-theory is studied in detail. It is shown that in a generalised frame the current algebra is twisted by the generalised fluxes. As a consistency check, the double dimensional reduction from membranes in M-theory to strings in type IIa string theory is performed. Many features generalise to p-branes in SL(p + 3) generalised geometries that form building blocks for the Ed(d)-invariant currents.


2010 ◽  
Vol 25 (24) ◽  
pp. 4603-4621 ◽  
Author(s):  
THOMAS A. RYTTOV ◽  
FRANCESCO SANNINO

We investigate the gauge dynamics of nonsupersymmetric SU (N) gauge theories featuring the simultaneous presence of fermionic matter transforming according to two distinct representations of the underlying gauge group. We bound the regions of flavors and colors which can yield a physical infrared fixed point. As a consistency check we recover the previously investigated bounds of the conformal windows when restricting to a single matter representation. The earlier conformal windows can be imagined to be part now of the new conformal house. We predict the nonperturbative anomalous dimensions at the infrared fixed points. We further investigate the effects of adding mass terms to the condensates on the conformal house chiral dynamics and construct the simplest instanton induced effective Lagrangian terms.


2007 ◽  
Vol 375 (2) ◽  
pp. 691-697 ◽  
Author(s):  
D. Sarkar ◽  
H. A. Feldman ◽  
R. Watkins

Sign in / Sign up

Export Citation Format

Share Document