Home Back

---

Fast guide:

---

 Accounting
 Anti Virus
 Backup
 CAD and CAM
 Content Management
 Data Recovery
 Databases
 Desktop Publishing
 Disk Management
 Distributed Computing
 Document Imaging
 Document Management
 Domain Names
 Domain Registrars
 E-Commerce
 File Management
 Firewalls
 Fonts
 Groupware
 Handhelds
 Help Desk
 Hosting
 Human Resources
 Information Retrieval
 Intellectual Property
 Internet Marketing
 Internet Phone
 Intranet
 Intrusion Detection Systems
 Laptops
 Mail server
 Management Information Systems
 Mobile Computing
 Network Management
 Notebooks
 Online Training
 Programming
 Project Management
 RAID
 Remote Access
 Server
 Software Engineering
 Spyware
 System Management
 Tablet PCs
 Virtual Private Networks
 Voice Over IP
 Website Promotion
 Workstations

Synchronous:

See also:

• Computers: Software: Operating Systems: Realtime

---

• 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).
• 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
• 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
• 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 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
• 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.
• Synchronous Programming Language - Growing article, with links to many related topics. Wikipedia.
• 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
• 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

Suggested link

War in Iraq Focus on the war in Iraq: development since the Persian Gulf war, military build-up, weapons of mass destruction, UN Security Council, organizations, in memoriam sites, news and media, activism, anti-war movement, human rights. www.war-in-iraq.info

	Web Computer Directory

Advertise on this site