Specification of precise timing in synchronous dataflow models

2016 ◽  
Author(s):  
Patricia Derler ◽  
Kaushik Ravindran ◽  
Rhishikesh Limaye
Keyword(s):  
Synchronous Dataflow ◽  
Precise Timing ◽  
Dataflow Models

scholarly journals Classification of Dataflow Actors with Satisfiability and Abstract Interpretation

2012 ◽  
Vol 3 (1) ◽  
pp. 49-69 ◽  
Author(s):  
Matthieu Wipliez ◽  
Mickaël Raulet
Keyword(s):  
Signal Processing ◽  
Abstract Interpretation ◽  
Expressive Power ◽  
Time Analysis ◽  
Synchronous Dataflow ◽  
Dataflow Programming ◽  
Execution Speed ◽  
Satisfiability Solving ◽  
Dataflow Models

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.

scholarly journals MOST Spacebased Photometry of HD 189733: Precise Timing Measurements for Transits Across an Active Star

2008 ◽  
Vol 4 (S253) ◽  
pp. 459-461
Author(s):  
E. Miller-Ricci ◽  
J. F. Rowe ◽  
D. Sasselov ◽  
J. M. Matthews ◽  
R. Kuschnig ◽  
...  
Keyword(s):  
Orbital Period ◽  
Mass Range ◽  
Active Star ◽  
Precise Timing ◽  
Resonant Orbits ◽  
The Earth ◽  
Test Spot ◽  
Transit Times ◽  
Nearly Continuous ◽  
Parent Star

AbstractWe have measured transit times for HD 189733 passing in front of its bright (V = 7.67) chromospherically active and spotted parent star. Nearly continuous broadband photometry of this system was obtained with the MOST (Microvariability & Oscillations of STars) space telesope during 21 days in August 2006, monitoring 10 consecutive transits. We have used these data to search for deviations from a constant orbital period which can indicate the presence of additional planets in the system that are as yet undetected by Doppler searches. We find no variations above the level of ±45 s, ruling out planets in the Earth-to-Neptune mass range in a number of resonant orbits. We find that a number of complications can arise in measuring transit times for a planet transiting an active star with large star spots. However, such transiting systems are also useful in that they can help to constrain and test spot models. This has implications for the large number of transiting systems expected to be discovered by the CoRoT and Kepler missions.

Sign in / Sign up

Export Citation Format

Share Document