MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Data-Flow Synchronous Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Implementation of the Data-flow Synchronous Language SIGNAL
by Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic — 1995 — In Conference on Programming Language Design and Implementation
…Implementation of the Data-flow Synchronous Language SIGNAL Pascalin Amagbegnon Loc Besnard Paul…
Cited by 12 (6 self) – Add To MetaCart

A simulation environment for designing distributed reactive/deliberative time-constrained applications
by M. Adelantado, F. Boniol, D. Pinault Onera-cert/deri, Avenue Edouard Belin — 1995 — 28th Annual Simulation Symposium, Phoenix (AZ
… proposed to reactive programming: an imperative synchronous lan-guage, Esterel [11], two data-flow…
Cited by 1 (1 self) – Add To MetaCart

On the Expressiveness of Timed Concurrent Constraint Programming
by Simone Tini — 1999 — Electronics Notes in Theoretical Computer Science
… that both the synchronous data flow language Lustre restricted to finite value types and the synchronous…
Cited by 10 (2 self) – Add To MetaCart

I R I S a
by Campus Universitaire De, Albert Benveniste, Paul Caspi, Paul Le, Guernic Nicolas Halbwachs — 1993 — In REX School/Symposium
… 1166-8687 768 DATA-FLOW SYNCHRONOUS LANGUAGES ALBERT BENVENISTE, PAUL CASPI, PAUL LE GUERNIC, NICOLAS…
Add To MetaCart

Sequencing Data Flow Tasks in SIGNAL
by Eric Rutten, Paul Le Guernic — 1993 — IN PROC. OF THE ACM SIGPLAN WORKSHOP ON LANGUAGE, COMPILER AND TOOL SUPPORT FOR REAL-TIME SYSTEMS
… real-time, synchronized data-flow language. Its model of time is based on instants, and its actions…
Cited by 13 (12 self) – Add To MetaCart

Handling data-flow programs in PVS
by Saddek Bensalem, Paul Caspi, Catherine Parent-vigouroux — 1996
…, the last two ones have been based on the Lustre data-flow synchronous language [7]. This has entailed a…
Cited by 1 (0 self) – Add To MetaCart

Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata)
by Florence Maraninchi, Yann Rémond — 2000 — Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems
… for further work. 2 Data-flow Synchronous Languages and Mode-Automata 2.1 Data-flow Synchronous Languages…
Cited by 4 (0 self) – Add To MetaCart

Labeling Automata with Polynomials
by Olga Kouchnarenko And, Olga Kouchnarenko, Sophie Pinchinat
… in the equational data-flow synchronous language Signal 3 . This language is widely used to specify…
Add To MetaCart

Synchronous Technology for Real-Time Systems
by A. Benveniste, G. Berry, P. Caspi, Ph. Couronné, F. Dupont, Th. Gautier, N. Halbwachs, P. Le Guernic, C. Le Maire, F. Mignard, J.-P. Paris, Y. Sorel — 1994
… of the data-flow synchronous language Signal. Since Signal formally handles relations on clocks and dynamic…
Cited by 7 (0 self) – Add To MetaCart

Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography
by Nicolas Halbwachs — 1998 — In Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), LNCS 1427
….1 Overview of the synchronous data-flow language Lustre Lustre is based on the synchronous data-flow model…
Cited by 13 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB