jasminecorp.net directory
Updated Blogs
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Synchronous
Directory > Computers > Programming > Languages > Synchronous

Web Sitesi

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]

http://books.elsevier.com/us/mk/us/subindex.asp?isbn=1558607552
Reviews Rating: Not yet Rated Whois Check

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/1558607552
Reviews Rating: Not yet Rated Whois Check

Synchronous Programming of Reactive Systems
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0792393112
Reviews Rating: Not yet Rated Whois Check

Synchronous Programming of Reactive Systems
Nicolas Halbwachs; Kluwer Academic Publishers, 1992, ISBN 0792393112. Presents synthesis of recent
works on reactive system design, a term introduced to avoid ambiguities often involved with term
realtime. [Kluwer]

http://www.wkap.nl/prod/b/0-7923-9311-2
Reviews Rating: Not yet Rated Whois 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://www.ece.purdue.edu/~hankd/CARP/XPC/paper.html
Reviews Rating: Not yet Rated Whois 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://citeseer.nj.nec.com/berry92esterel.html
Reviews Rating: Not yet Rated Whois 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. Paper, PDF format.

http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf
Reviews Rating: Not yet Rated Whois 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. Paper, PDF format.

http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf
Reviews Rating: Not yet Rated Whois Check

Synchronous Languages at Verimag
Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and
academic cooperations, projects/contracts. France.

http://www-verimag.imag.fr/SYNCHRONE/
Reviews Rating: Not yet Rated Whois Check

Argos and Argonaute
Argos: imperative synchronous language developed at Verimag. Argonaute: programming environment
based on it, with compiler and some connections to verification tools. Aim: study, implement 2
mixed languages: Argos + Esterel/Lustre.

http://www-verimag.imag.fr//SYNCHRONE/argonaute-english.html
Reviews Rating: Not yet Rated Whois 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/lustre-english.html
Reviews Rating: Not yet Rated Whois 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/sports/SyncCharts/
Reviews Rating: Not yet Rated Whois Check

Esterel
Synchronous language and compiler, translates source code into complex state machines (software or
hardware) automatically; can cut cost and development time of embedded systems by 50%. Recreates
hijacked esterel.org website.

http://www.softwaresafety.net/Esterel.org/esterel.html
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia