Search Sciweavers | Sciweavers

24

DATE
2000
IEEE

121views Hardware» more DATE 2000»

Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors

14 years 8 days ago

The composite signal ﬂow model of computation targets systems with signiﬁcant control and data processing parts. It builds on the data ﬂow and synchronous data ﬂow models ...

Axel Jantsch, Per Bjuréus

claim paper

Read More »

28

click to vote

TACAS
1998
Springer

105views Algorithms» more TACAS 1998»

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

14 years 2 days ago

Download www.itu.dk

A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...

Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...

claim paper

Read More »

29

click to vote

TPDS
2002

104views more TPDS 2002»

Composite Synchronization in Parallel Discrete-Event Simulation

13 years 7 months ago

Download www.linklings.net

This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Com...

David M. Nicol, Jason Liu

claim paper

Read More »

22

click to vote

ICEIS
2005
IEEE

134views Information Technology» more ICEIS 2005»

COCO: Composition Model and Composition Model Implementation

14 years 1 months ago

Download www.cs.uml.edu

Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...

Naiyana Tansalarak, Kajal T. Claypool

claim paper

Read More »

18

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

14 years 2 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper