Sciweavers

1995 search results - page 12 / 399
» From Data Flow Networks to Process Algebras
Sort
View
88
Voted
AHS
2007
IEEE
239views Hardware» more  AHS 2007»
15 years 1 months ago
Separation of Data flow and Control flow in Reconfigurable Multi-core SoCs using the Gannet Service-based Architecture
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
Wim Vanderbauwhede
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 4 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
15 years 1 months ago
Seamless Integration of Control Flow and Data Flow in a Visual Language
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
Honitriniela Randriamparany, Bertrand Ibrahim
VLDB
1992
ACM
151views Database» more  VLDB 1992»
15 years 1 months ago
A Uniform Approach to Processing Temporal Queries
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
Umeshwar Dayal, Gene T. J. Wuu
SAMOS
2007
Springer
15 years 3 months ago
Design Space Exploration of Configuration Manager for Network Processing Applications
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
Christoforos Kachris, Stamatis Vassiliadis