Follow
david dayan
david dayan
מרצה במחלקה למדעי המחשב, המרכז האקדמי לב, ירושלים
Verified email at g.jct.ac.il
Title
Cited by
Cited by
Year
Flexible algorithms: enabling well-defined order-independent execution with an imperative programming style
RB Yehezkael, M Goldstein, D Dayan, S Mizrahi
2015 4th Eastern European Regional Conference on the Engineering of Computer …, 2015
102015
EFL: implementing and testing an embedded language which provides safe and efficient parallel execution
D Dayan, M Goldstein, S Mizrahi, M Rabin, D Berlovitz, O Berlovitz, ...
2015 4th Eastern European Regional Conference on the Engineering of Computer …, 2015
72015
A protein structure prediction program architecture based on a software transactional memory
B Kordic, M Popovic, M Popovic, M Goldstein, M Amitay, D Dayan
Proceedings of the 6th Conference on the Engineering of Computer Based …, 2019
52019
Design principles of an embedded language (EFL) enabling well defined order-independent execution
M Goldstein, D Dayan, M Rabin, D Berlowitz, O Berlowitz, RB Yehezkael
Proceedings of the Fifth European Conference on the Engineering of Computer …, 2017
42017
MDA PIM-TO-PIM TRANSFORMATION USING EXTENDED AUTOMATA
D Dayan, R Kaplinsky, A Wiesen, S Bloch, H Mendelbaum
Computer 0odelling and New Technologies 12 (1), 65, 2008
32008
An evolutionary computational system architecture based on a software transactional memory
B KORDIC, M Popovic, M POPOVIC, M Goldstein, M Amitay, D DAYAN, ...
REVUE ROUMAINE DES SCIENCES TECHNIQUES—SÉRIE ÉLECTROTECHNIQUE ET …, 2021
22021
Flexible Algorithms and their Implementation: Enabling Well-defined Order-Independent Execution”
RB Yehezkael, M Goldstein, D Dayan, S Mizrahi
22013
AMDA: Matching the Model-Driven-Architecture's goals using Extended Automata as a common model for design and execution
D Dayan, R Kaplinsky, A Wiesen, S Bloch
IEEE International Conference on Software-Science, Technology & Engineering …, 2007
22007
Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress)
M Goldstein, O Eliezer, D Dayan
7th Conference on the Engineering of Computer Based Systems, 1-5, 2021
12021
MDA Models and PIM/PSM Transformations Using Extended Automata
D Dayan, R Kaplinsky, A Wiesen, S Bloch
arXiv preprint arXiv:2008.00474, 2020
12020
System for implementing shared lock free memory implementing composite assignment
S Mizrahi, RB Yehezkael, R Attia, LAX Erez, D Berlowitz, M Goldstein, ...
US Patent 11,646,063, 2023
2023
Final Project
M Rabin, O Berlowitz, D Berlowitz, M Goldstein, RB Yehezkael, D Dayan
2012
Proposition d'automates étendus pour la spécification et l'implémentation du MDA (Model-Driven Architecture)
D Dayan
Reims, 2009
2009
Third International Workshop on Graph and Model Transformation (GraMoT 2007)
D Dayan, R Kaplinsky, A Wiesen, S Bloch, HG Mendelbaum
Electronic Communications of the EASST 10, 2007
2007
CC 27. Computational Efficient Models for Non-Linear Inelastic Analysis of Building Frameworks
O Eliezer, M Goldstein, D Dayan
Flexible Algorithms and their Implementation: An Embedded Flexible Language (EFL)
M Rabin, D Berlowitz, O Berlowitz, M Goldstein, D Dayan, RB Yehezkael
Flexible Algorithms-Introducing Parallelism to Beginners
RB Yehezkael, M Goldstein, D Dayan, S Mizrahi
Session 1.1: Modeling and Testing
D Dayan, R Kaplinsky, A Wiesen, S Bloch
The system can't perform the operation now. Try again later.
Articles 1–18