Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time

Source URL: www-verimag.imag.fr

• Software engineering
• Computing
• Hardware description languages
• Synchronous programming languages
• SIGNAL
• Esterel
• Real-time computing
• Actor model
• Model checking
• Component-based software engineering
• Modeling and Analysis of Real Time and Embedded systems
• Reo Coordination Language

PDF Document

Source URL: kcsrk.info

• Computing
• Inter-process communication
• Computer architecture
• Computer programming
• Distributed computing architecture
• Concurrent ML
• Concurrent computing
• Message passing
• SIMPL
• Synchronous programming language
• Channel
• Multi-core processor

Outline Synchronous Programming of Reactive Systems Introduction The Data-Flow Language Lustre

Source URL: laure.gonnord.org

Imperative Synchronous Languages The Quartz Language Semantics Imperative Synchronous Languages The Quartz Language

Source URL: www.averest.org

• Hardware description languages
• Source code
• Procedural programming languages
• Compilers
• Data dependency
• Esterel
• Computer program
• Programming language
• Imperative programming
• Software engineering
• Computing
• Computer programming

PDF Document

Source URL: www.esterel-technologies.com

• Software engineering
• Unified Modeling Language
• Electronic engineering
• Formal methods
• Systems engineering
• Computing
• Esterel
• Systems Modeling Language
• SIGNAL
• Hardware description languages
• Synchronous programming languages
• Esterel Technologies

A Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study KARIM BARKATI and PIERRE JOUVELOT, CRI, Mathématiques et systèmes, MINES ParisTech, France

Source URL: www.cri.ensmp.fr

• Software
• Software synthesizers
• Programming paradigms
• Electronic music
• Visual programming languages
• Synchronous programming language
• Domain-specific language
• SuperCollider
• Programming language
• Computing
• Software engineering
• Audio programming languages

Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Source URL: www.cis.upenn.edu

• External variable
• Futures and promises
• Environment variable
• Free variables and bound variables
• Variable
• Closure
• SystemVerilog
• Software engineering
• Computing
• Synchronous programming language

Technical Data Sheet

  SCADE LifeCycle is a product line of the ANSYS® Embedded software family of products and solutions that includes

Source URL: www.esterel-technologies.com

• Technology
• Systems Modeling Language
• Esterel Technologies
• Unified Modeling Language
• Hardware description languages
• Synchronous programming languages
• Telelogic
• Requirements traceability
• ARINC 661
• Software development
• Software
• Software requirements

Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper

Source URL: ifl2014.github.io

• Cross-platform software
• Models of computation
• Compiler construction
• Procedural programming languages
• Programming paradigms
• Stream processing
• Java virtual machine
• Scheme
• Actor model
• Computing
• Software engineering
• Computer programming

Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences,

Source URL: www.macs.hw.ac.uk

• Theoretical computer science
• Software engineering
• Parallel computing
• Parallel Random Access Machine
• Bulk synchronous parallel
• Distributed computing
• Programming language
• Kahn process networks
• Thread
• Models of computation
• Computing
• Concurrent computing