What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Synchronous Programming

Loading...

You must sign in to do that.

Forgot password?

Synchronous Programming

Synchronous Programming

Synchronous Programming

Score: ---- | 0 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2014
Publisher:Columbia University
Pages:27 pages
Language:english
Since:03/12/2014
Size:852 KB
License:Pending review

Content:

Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions steps, the program reads new inputs and reacts by computing corresponding outputs of the conside red reaction step. The programs are called synchronous because all outputs are computed together in zero time within a step and because parallel components synchronize their reaction steps by the semantics of the languages. For this reason, the synchronous composition is deterministic, which is a great advantage concerning predictability, verification of system design, and embedded co degeneration. Starting with the definition of the clas sic synchronous languages Esterel, Lustre and Signal in the late 1980’s, the research during the past 20 years was very fruitful and lead to new languages, compilation techniques, software and hardware architectures, as well as extensions, transformations, and interfaces to other models of computations, in particular to asynchronous and hybrid systems.

This report is a summary of the Dagstuhl Seminar 13471 “Synchronous Programming”, wh ich to ok place during November 18-22, 2013, and which was the 20th edition of the yearly workshop of the synchronous programming community. The report contains the abstracts of the presentations given during the seminar in addition to the documents provided by the participants on the web pages of the seminar.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in category

online since

03/12/2014

rate score

Nothing yet...

votes

Nothing yet...

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...