---

Add URL

My Sites

My Account

Contact Us

Search only in Synchronous   Search the Web

 Home » Programming » Languages » Synchronous

Categories

 Related Categories:
    Computers » Software » Operating Systems » Realtime  (198)

Web Pages    1 - 10   {12}

1 - SyncCharts   Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduction, related publications, distribution, downloads. http://www.i3s.unice.fr/sports/SyncCharts/   [more pages from this URL]     2 - Synchronous   A "synchronous" team at the Verimag laboratory. Presentation, people. Research topics includes language design. Publications and tools. http://www-verimag.imag.fr/SYNCHRONE/   [more pages from this URL]     3 - Lustre   Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag] http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design   [more pages from this URL]     4 - The Synchronous Programming Language Signal: A Tutorial   For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format. http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf   [more pages from this URL]     5 - The Esterel Synchronous Programming Language: Design, Semantics, Implementation   Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex] http://citeseer.ist.psu.edu/berry92esterel.html   [more pages from this URL]     6 - Averest   A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586) http://www.averest.org/   [more pages from this URL]     7 - The Multi-Paradigm Synchronous Programming Language LEA   To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre, Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean automata. Paper, PDF format. http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf   [more pages from this URL]     8 - Design Methods for Reactive Systems: Yourdon, Statemate, and the UML   Descriptions, reviews, purchase source. [Amazon.com] http://www.amazon.com/exec/obidos/ASIN/1558607552   [more pages from this URL]     9 - Unification of Synchronous and Asynchronous Models for Parallel Programming Languages   Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage parallelism on a broad class of architectures. [Purdue University] http://www.ece.purdue.edu/~hankd/CARP/XPC/paper.html   [more pages from this URL]     10 - Synchronous Programming of Reactive Systems   Descriptions, reviews, purchase source. [Amazon.com] http://www.amazon.com/exec/obidos/ASIN/0792393112   [more pages from this URL]

1  2  Next »»

E-Mail Add URL