Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Programming / Languages / Synchronous /

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. http://www-verimag.imag.fr/SYNCHRONE/ Imag.fr  ~   Site Info   Whois   Trace Route   RBL Check   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. http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf Fraunhofer.de  ~   Site Info   Whois   Trace Route   RBL Check   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. http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf Irisa.fr  ~   Site Info   Whois   Trace Route   RBL Check   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/ Averest.org  ~   Site Info   Whois   Trace Route   RBL Check   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 Imag.fr  ~   Site Info   Whois   Trace Route   RBL Check   Synchronous Programming Language Growing article, with links to many related topics. Wikipedia. http://en.wikipedia.org/wiki/Synchronous_programming_language Wikipedia.org  ~   Site Info   Whois   Trace Route   RBL Check   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://cobweb.ecn.purdue.edu/~hankd/CARP/XPC/paper.html Purdue.edu  ~   Site Info   Whois   Trace Route   RBL Check   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/~map/WEBSPORTS/SyncCharts/ Unice.fr  ~   Site Info   Whois   Trace Route   RBL Check   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] http://textbooks.elsevier.com/web/product_details.aspx?isbn=9781558607552 Elsevier.com  ~   Site Info   Whois   Trace Route   RBL Check   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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606 Psu.edu  ~   Site Info   Whois   Trace Route   RBL Check