Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Functional Language
Type System
Word Processing
Kahn Process Network
Subscribe
Academic
Publications
Lucyn: a nSynchronous Extension of Lustre
Lucyn: a nSynchronous Extension of Lustre,10.1007/9783642133213_17,Louis Mandel,Marc Pouzet
Edit
Lucyn: a nSynchronous Extension of Lustre
(
Citations: 1
)
BibTex

RIS

RefWorks
Download
Louis Mandel
,
Marc Pouzet
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buer. Every expression is associated to a clock in dicating the instants when a value is present. A dedicated type system, the clock calculus, checks that the actual clock of a stream equals its ex pected clock and thus does not need to be buered. The nsynchrony re laxes synchrony by allowing the communication through bounded buers whose size is computed at compiletime. It is obtained by extending the clock calculus with a subtyping rule which defines buering points. This paper presents the first implementation of the nsynchronous model inside a Lustrelike language called Lucyn. The language extends Lustre with an explicit buffer construct whose size is automatically computed during the clock calculus. This clock calculus is defined as an inference
type system
and is parametrized by the clock language and the algorithm used to solve subtyping constraints. We detail here one algorithm based on the abstraction of clocks, an idea originally introduced in (5). The paper presents a simpler, yet more precise, clock abstraction for which the main algebraic properties have been proved in Coq. Finally, we illustrate the language on various examples including a video application.
Conference:
Mathematics of Program Construction  MPC
, pp. 288309, 2010
DOI:
10.1007/9783642133213_17
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.lri.fr
)
(
www.lri.fr
)
(
www.informatik.unitrier.de
)
(
dx.doi.org
)
More »
Citation Context
(1)
...Nevertheless, we think that in most of cases, it should be possible to statically compute an upper bound for the FIFO sizes, by using some results described in [
17
] in the context of synchronous languages for example...
Jocelyn Serot
,
et al.
Implementing StreamProcessing Applications on FPGAs: A DSLBased Appr...
References
(13)
Scheduling dynamic dataflow graphs with bounded memory using the token flow model
(
Citations: 251
)
Joseph Tobin Buck
,
Edward A. Lee
Conference:
International Conference on Acoustics, Speech, and Signal Processing  ICASSP
, vol. 1, pp. 429432 vol.1, 1993
LUSTRE: a declarative language for realtime programming
(
Citations: 79
)
P. Caspi
,
D. Pilaud
,
N. Halbwachs
,
J. A. Plaice
Conference:
ACM SIGPLANSIGACT Symposium on Principles of Programming Languages  POPL
, pp. 178188, 1987
Synchronous Kahn Networks
(
Citations: 85
)
Paul Caspi
,
Marc Pouzet
Journal:
Sigplan Notices  SIGPLAN
, vol. 31, no. 6, pp. 226238, 1996
Nsynchronous Kahn networks: a relaxed model of synchrony for realtime systems
(
Citations: 29
)
Albert Cohen
,
Marc Duranton
,
Christine Eisenbeis
,
Claire Pagetti
,
Marc Pouzet
Conference:
ACM SIGPLANSIGACT Symposium on Principles of Programming Languages  POPL
, pp. 180193, 2006
Abstraction of Clocks in Synchronous DataFlow Systems
(
Citations: 8
)
Albert Cohen
,
Louis Mandel
,
Marc Pouzet
Conference:
Asian Symposium on Programming Languages and Systems  APLAS
, pp. 237254, 2008
Sort by:
Citations
(1)
Implementing StreamProcessing Applications on FPGAs: A DSLBased Approach
Jocelyn Serot
,
Francois Berry
,
Sameer Ahmed
Conference:
FieldProgrammable Logic and Applications  FPL
, 2011