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

Mali oglasi

Dragan 065/884-8890
Iskusni bravari rade hale, garaže, panelima leksanom, kao i kapije, ograde, natkrivanje terasa.

Green Smarthaus +381 65 477 5001
Najpovoljnije i najkvalitetnije montažne kuće u Srbiji, uvoz iz Austrije. Eksluzivni najprodavaniji modeli. Proverite sajt www.smarthaus.rs.

Nikolija +49 176 7884 4021
Minhen i okolina - tražim posao čuvanja deteta, ili dece. Imam jako dobro iskustvo, predana sam i pedantna. Za sve dodatne informacije, možete me kontaktirati. Molim, samo ozbiljne ponude.

Jasmina 060/184-9309
Potrebni preprodavci božićnih ježića od žita. Ručni rad, mali su, simpatični, cena je povoljna i postoji mogućnost pristojne zarade pred Novu godinu.

Edo +385 98 265 705
Selidbe i dostave u Evropsku uniju, i iz Evropske unije, vršim povoljno velikim kombijem.

SZR Limaks Beška +381 022 570 799
Proizvodnja i prodaja - kvarcne peći i kaloriferi. Kvarcne grejalice za brzo zagrevanje, sa i bez daske. www.limaks.co.rs

Inter CAFFE

40 korisnika prisutno: 3 registrovanih, 1 skrivenih i 36 senkica. Ulogovani: cesko, galeksic, niko650 (01:08)

Bolje te vidim kad sklopim oči - Milan Višnjić
Uto 16.12.2014 8:31, micha@Umetnost
Jedan od cudnijih snova
Pon 15.12.2014 15:58, jeka1983@Sanovnik forum
Iz moje svaštare
Pon 15.12.2014 12:48, micha@Umetnost
Sanjam stalno bivseg momka. Da li to ista znaci?
Sre 10.12.2014 7:59, danielarmd@Sanovnik forum
Muzicki kutak - pjesme za prijatelje
Sre 10.12.2014 0:11, apprivoiser@Umetnost
Poezija - najlepsi stihovi
Sub 06.12.2014 10:32, Wind@Umetnost
Filigranska kapija od stihova - Dejan Milenković
Sub 06.12.2014 1:28, tragalac@Umetnost
Recepti, jela od mesa - rostiljijada
Sub 06.12.2014 0:45, niko650@Životni stil

Virtuelne razglednice

za rodjendan, godišnjicu braka, srećnu slavu, ženidbu, udaju, položen vozački, prijem u radni odnos...