Searchpixie.com: Unknown Tag: 'title

SearchPixie - High Traffic Pay per Click Search Engine

Home: Computers: Programming: Languages: Synchronous
Featured Listing: LINKS:
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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Synchronous Programming Language Growing article, with links to many related topics. Wikipedia. http://en.wikipedia.org/wiki/Synchronous_programming_language (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

• HOME • ADD A LINK •