|
Top/Computers/Programming/Languages/Synchronous |
|
Synchronous : |
| Synchronous programming languages are optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems. |
|
12 web sites matced for Synchronous |
|
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.
|
|
Synchronous
|
A "synchronous" team at the Verimag laboratory. Presentation, people. Research topics includes language design. Publications and tools.
|
|
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.
|
|
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.
|
|
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]
|
|
Synchronous Programming of Reactive Systems
|
Descriptions, reviews, purchase source. [Amazon.com]
|
|
Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
|
Descriptions, reviews, purchase source. [Amazon.com]
|
|
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]
|
|
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).
|
|
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]
|
|
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]
|
|
Synchronous Programming of Reactive Systems
|
Book by Nicolas Halbwachs (1992) which presents a synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. Outline, table of contents, reviews.
|
|
| |
| Web Site Directory - powered by Dmoz |
Arts
Movies, Television, Music... |
Business
Jobs, Real Estate, Investing... |
Computers
Internet, Software, Hardware... |
Games
Video Games, RPGs, Gambling... |
Health
Fitness, Medicine, Alternative... |
Home
Family, Consumers, Cooking... |
News
Media, Newspapers, Weather... |
Regional
US, Canada, UK, Europe... |
Science
Biology, Psychology, Physics... |
Shopping
Auctions, Clothing, Gifts... |
Society
People, Religion, Issues... |
Sports
Baseball, Soccer, Basketball... |
| |
|
|
|
|
Sponcer Links
|
Live Chat
mioot Live chat system help you to track your web site visitor in real time and enable live chat features with your web site visitor.
|
|
miOOt Technologies is an Indian based software company offering complete onsite offshore software development solutions with high end technologies and standard. |
| |
|
|
|
