Sciweavers

13 search results - page 2 / 3
» Application-Layer Connector Synthesis
Sort
View
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
13 years 10 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
SCCC
2008
IEEE
13 years 11 months ago
Hardware Synthesis for Asynchronous Communications Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
Kyller Costa Gorgônio, Jordi Cortadella
CL
2008
Springer
13 years 5 months ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard
APN
2007
Springer
13 years 11 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
ENTCS
2006
161views more  ENTCS 2006»
13 years 5 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten