Lecture Notes in Computer Science - Principles of Modeling
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319952451, 9783319952468

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Road to Conviction: An Email Exchange with Edward Lee

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 524-537

Author(s):

Reinhard Wilhelm

Keyword(s):

The Road ◽

Download Full-text

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 16-37 ◽

Author(s):

Gul Agha ◽

Karl Palmskog

Keyword(s):

Execution Traces

Download Full-text

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

A Semantic Account of Rigorous Simulation

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 223-239

Author(s):

Adam Duracz ◽

Eugenio Moggi ◽

Walid Taha ◽

Zhenchao Lin

Keyword(s):

Semantic Account

Download Full-text

Model-Based Representations for Dataflow Schedules

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 88-105

Author(s):

Shuvra S. Bhattacharyya ◽

Johan Lilius

Keyword(s):

Download Full-text

Anytime Algorithms in Time-Triggered Control Systems

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 326-335

Author(s):

Hermann Kopetz

Keyword(s):

Control Systems ◽

Anytime Algorithms

Download Full-text

Interfaces for Stream Processing Systems

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 38-60 ◽

Author(s):

Rajeev Alur ◽

Konstantinos Mamouras ◽

Caleb Stanford ◽

Val Tannen

Keyword(s):

Stream Processing

Download Full-text

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 423-448 ◽

Author(s):

Marjan Sirjani

Download Full-text

You Can Program What You Want but You Cannot Compute What You Want

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 1-15

Author(s):

Alireza S. Abyaneh ◽

Christoph M. Kirsch

Download Full-text

On Determinism

Lecture Notes in Computer Science - Principles of Modeling ◽

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

2018 ◽

pp. 240-253

Author(s):

Stephen A. Edwards

Download Full-text