List of web sites about Languages: Synchronous. Links and information.
dmoz Google Alexa
Directory: Computers
Programming: Languages: Synchronous		Web sites about Languages: Visual
Web sites about Languages: Specification

Site List

Open a new window 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		 Information about Averest
Open a new window Design Methods for Reactive Systems: Yourdon, Statemate, and the UML - R.J. Wieringa 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]
textbooks.elsevier.com/web/product_details.as...		 Information about Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Open a new window 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/SYNCHRONE/index.php?page=...		 Information about Lustre
Open a new window 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/~map/WEBSPORTS/SyncCharts		 Information about SyncCharts
Open a new window Synchronous Programming Language - Growing article, with links to many related topics. Wikipedia.
en.wikipedia.org/wiki/Synchronous_programming...		 Information about Synchronous Programming Language
Open a new window 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/berry92esterel.html		 Information about The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Open a new window 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.
www.ais.fraunhofer.de/~ap/papers/LEA.pdf		 Information about The Multi-Paradigm Synchronous Programming Language LEA
Open a new window 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/SYNCHRONE		 Information about The Synchronous Group
Open a new window 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.
www.irisa.fr/espresso/source/logiciels/Signal...		 Information about The Synchronous Programming Language Signal: A Tutorial
Open a new window 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/~hankd/CARP/XPC/paper.h...		 Information about Unification of Synchronous and Asynchronous Models for Parallel Programming Languages

Main Categories in Computers

Internet, Software, Programming, Hardware, Systems, Security
See also
Operating Systems: Realtime
Suggest URL
Submit a Site
Update Listing


References
Backlinks
 
Main Categories: Arts, Business [E-Commerce, Investing], Computer [Software, Retailers], Games, Health, Home, Kids and Teens, News, Recreation [Models], Reference, Regional [US, UK], Science, Shopping Online [Buy Cars, Used and Rare Books], Society, Sports
Based on ODP data, enhanced by Kub.it editors
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Free thumbnail preview by Thumbshots.org
Kub Directory © 2004/2006 Deucalione