Search Sciweavers | Sciweavers

850 search results - page 9 / 170

» Modeling synchronous systems in BIP

click to vote

MODELS
2009
Springer

84views Natural Language Processing» more MODELS 2009»

Generating Synchronization Engines between Running Systems and Their Model-Based Views

14 years 1 months ago

Download research.nii.ac.jp

Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huan...

claim paper

Read More »

click to vote

RTAS
2007
IEEE

148views Embedded Systems» more RTAS 2007»

A Programming Model for Time-Synchronized Distributed Real-Time Systems

14 years 1 months ago

Download ptolemy.eecs.berkeley.edu

Discrete-event (DE) models are formal system speciﬁcations that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...

Yang Zhao, Jie Liu, Edward A. Lee

claim paper

Read More »

click to vote

EMSOFT
2007
Springer

126views Software Engineering» more EMSOFT 2007»

Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

14 years 1 months ago

Download ptolemy.eecs.berkeley.edu

This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...

Edward A. Lee, Haiyang Zheng

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

14 years 1 months ago