Directory Sites

  • 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.

    www.i3s.unice.fr

  • The Synchronous Group

    Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools.

    www-verimag.imag.fr

  • 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.

    www.ais.fraunhofer.de

  • 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.

    www.irisa.fr

  • Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

    By R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3 most popular design methods can be mixed in flexible, problem-driven way; more examples on companion website. [Morgan Kaufmann]

    books.elsevier.com

  • 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).

    www.averest.org

  • 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]

    www-verimag.imag.fr

  • 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]

    citeseer.ist.psu.edu

  • Synchronous Programming of Reactive Systems

    By Nicolas Halbwachs; Springer, 1993, ISBN 9780792393115. Synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. Outline, table of contents, reviews.

    www.springer.com

  • Synchronous Programming Language

    Growing article, with links to many related topics. Wikipedia.

    en.wikipedia.org

  • 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]

    cobweb.ecn.purdue.edu

Help build the largest human-edited directory on the web

Submit a Site - Open Directory Project - Become an Editor
Advanced Search
Included Web Search Engines


Safe Search

close

Top Matching Results

Occasionally Search.com will highlight specialized results that are based on the context of your query. Examples of specialized results include specific links to news, images, or video.

Top Matching Results may highlight information from other Search.com pages, content from the CNET Network of sites, or third party content. The listings are based purely on relevance. Search.com does not receive payment for listings in this section but our partners that provide this data may get paid for listing these products.

Sponsored Links

This section contains paid listings which have been purchased by companies that want to have their sites appear for specific search terms and related content. These listings are administered, sorted and maintained by a third party and are not endorsed by Search.com.

Search Results

Search.com sends your search query to several search engines at one time and integrates the results into one list which has been sorted by relevance using Search.com's proprietary algorithm. You can customize the list of search engines included in your metasearch from the preferences.

The search engines that are used in your metasearch may allow companies to pay to have their Web sites included within the results. To view the Paid Inclusion policy for a specific search engine, please visit their Web site. Search.com does not accept payment or share revenue with any search engine partner for listings in this section.