TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of Computers, Programming, Languages, Synchronous.

See also:

Computers: Software: Operating Systems: Realtime (234)

» 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://textbooks.elsevier.com/web/product_details.aspx?isbn=9781558607552

» 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://citeseer.ist.psu.edu/berry92esterel.html

» 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://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design

» 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.ais.fraunhofer.de/~ap/papers/LEA.pdf

» 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. [PDF]

http://www.i3s.unice.fr/~map/WEBSPORTS/SyncCharts/

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

» 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://en.wikipedia.org/wiki/Synchronous_programming_language

» Synchronous Programming Language - Growing article, with links to many related topics. Wikipedia.

http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf

» 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. [PDF]

http://cobweb.ecn.purdue.edu/~hankd/CARP/XPC/paper.html

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

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of Computers, Programming, Languages, Synchronous.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.