Lossy Channels in a Dataflow Model of Computation

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_15 ◽

2018 ◽

pp. 254-266

Author(s):

Pascal Fradet ◽

Alain Girault ◽

Leila Jamshidian ◽

Xavier Nicollin ◽

Arash Shafiei

Keyword(s):

Model Of Computation ◽

Download Full-text

Dataflow Model of Computation

Lecture Notes in Electrical Engineering - Physical Layer Multi-Core Prototyping ◽

10.1007/978-1-4471-4210-2_3 ◽

2012 ◽

pp. 53-75 ◽

Author(s):

Maxime Pelcat ◽

Slaheddine Aridhi ◽

Jonathan Piat ◽

Jean-François Nezan

Keyword(s):

Model Of Computation ◽

Download Full-text

Specification of concurrent processes using a dataflow model of computation and partially ordered events

Journal of Systems and Software ◽

10.1016/0164-1212(91)90004-p ◽

1991 ◽

Vol 16 (2) ◽

pp. 107-120 ◽

Author(s):

Krishna M. Kavi ◽

Akshay K. Deshpande

Keyword(s):

Model Of Computation ◽

Partially Ordered ◽

Dataflow Model ◽

Concurrent Processes

Download Full-text

Real-time C Code Generation in Ptolemy II for the Giotto Model of Computation

10.21236/ada538394 ◽

2009 ◽

Author(s):

Shanna-Shaye Forbes

Keyword(s):

Real Time ◽

Code Generation ◽

Model Of Computation

Download Full-text

Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1145/774789.774830 ◽

2002 ◽

Author(s):

Sunghyun Lee ◽

Sungjoo Yoo ◽

Kiyoung Choi

Keyword(s):

Synchronous Dataflow ◽

Download Full-text

Adaptive display virtualization and dataflow model selection (ADVADAMS) for reducing interaction latency in thin clients

2012 International Conference on Recent Trends in Information Technology ◽

10.1109/icrtit.2012.6206834 ◽

2012 ◽

Author(s):

S Sridhar ◽

G Satish ◽

G Raja ◽

Sumalatha Ramachandran

Keyword(s):

Model Selection ◽

Download Full-text

Call-by-Value Lambda Calculus as a Model of Computation in Coq

Journal of Automated Reasoning ◽

10.1007/s10817-018-9484-2 ◽

2018 ◽

Vol 63 (2) ◽

pp. 393-413

Author(s):

Yannick Forster ◽

Gert Smolka

Keyword(s):

Lambda Calculus ◽

Model Of Computation

Download Full-text

Programmed Mutagenesis Is a Universal Model of Computation

DNA Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-48017-x_28 ◽

2002 ◽

pp. 300-307 ◽

Author(s):

Julia Khodor ◽

David K. Gifford

Keyword(s):

Universal Model ◽

Model Of Computation

Download Full-text

I/O Model of Computation

Encyclopedia of Database Systems ◽

10.1007/978-1-4614-8265-9_752 ◽

2018 ◽

pp. 1741-1742

Author(s):

Donghui Zhang ◽

Vassilis J. Tsotras

Keyword(s):

Model Of Computation

Download Full-text

A DATAFLOW MODEL FOR .NET-BASED GRID COMPUTING SYSTEMS

GCA 2007 ◽

10.1142/9789812708823_0003 ◽

2007 ◽

Author(s):

CHAO JIN ◽

RAJKUMAR BUYYA ◽

LEX STEIN ◽

ZHENG ZHANG

Keyword(s):

Grid Computing ◽

Computing Systems ◽

Download Full-text

Concurrent term rewriting as a model of computation

Graph Reduction - Lecture Notes in Computer Science ◽

10.1007/3-540-18420-1_50 ◽

1987 ◽

pp. 53-93 ◽

Author(s):

Joseph Goguen ◽

Claude Kirchner ◽

José Meseguer

Keyword(s):

Term Rewriting ◽

Model Of Computation

Download Full-text