David Dayan

According to our database, David Dayan authored at least 7 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress).

Moshe Goldstein, Oren Eliezer, David Dayan

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2020

MDA Models and PIM/PSM Transformations Using Extended Automata.

David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch

CoRR, 2020

2019

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.

Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2017

Design principles of an embedded language (EFL) enabling well defined order-independent execution.

Moshe Goldstein, David Dayan, Max Rabin, Devora Berlowitz, Or Berlowitz, Raphael B. Yehezkael

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

2015

Flexible Algorithms: Enabling Well-Defined Order-Independent Execution with an Imperative Programming Style.

Raphael B. Yehezkael, Moshe Goldstein, David Dayan, Shimon Mizrahi

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution.

David Dayan, Moshe Goldstein, Shimon Mizrahi, Max Rabin, Devora Berlowitz, Or Berlowitz, Elad Bussani Levy, Moshe Naaman, Mor Nagar, Ditsa Soudry, Raphael B. Yehezkael, Miroslav Popovic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

2007

AMDA: Matching the Model-Driven-Architecture's Goals Using Extended Automata as a Common Model for Design and Execution.

David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch

Proceedings of the IEEE International Conference on Software-Science, 2007