Modelica extensions for supporting message passing communication and dynamic data structures

Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools - EOOLT '16 ◽

10.1145/2904081.2904082 ◽

2016 ◽

Author(s):

Victorino Sanz ◽

Alfonso Urquia

Keyword(s):

Data Structures ◽

Message Passing ◽

Dynamic Data Structures ◽

Download Full-text

A Scalable Unified Model for Dynamic Data Structures in Message Passing (Clusters) and Shared Memory (multicore CPUs) Computing environments

2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID) ◽

10.1109/ccgrid.2018.00007 ◽

2018 ◽

Author(s):

Giuliano Laccetti ◽

Marco Lapegna ◽

Raffaele Montella

Keyword(s):

Shared Memory ◽

Data Structures ◽

Message Passing ◽

Unified Model ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Computing Environments ◽

Download Full-text

Perpetual Secret Sharing from Dynamic Data Structures

2021 IEEE Conference on Dependable and Secure Computing (DSC) ◽

10.1109/dsc49826.2021.9346272 ◽

2021 ◽

Author(s):

Shion Samadder Chaudhury ◽

Sabyasachi Dutta ◽

Kouichi Sakurai

Keyword(s):

Data Structures ◽

Secret Sharing ◽

Dynamic Data Structures ◽

Download Full-text

Compiling Dynamic Data Structures in Python to Enable the Use of Multi-core and Many-core Libraries

2011 International Conference on Parallel Architectures and Compilation Techniques ◽

10.1109/pact.2011.13 ◽

2011 ◽

Author(s):

Bin Ren ◽

Gagan Agrawal

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Download Full-text

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11823230_5 ◽

2006 ◽

pp. 52-70 ◽

Author(s):

Ahmed Bouajjani ◽

Peter Habermehl ◽

Adam Rogalewicz ◽

Tomáš Vojnar

Keyword(s):

Model Checking ◽

Data Structures ◽

Complex Dynamic ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Download Full-text

Dynamic Data Structures

Start Concurrent ◽

10.2307/j.ctv15wxqh7.22 ◽

2013 ◽

pp. 458-494

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Download Full-text

Dynamic Data Structures

Introduction to Computing ◽

10.1007/978-1-349-08039-7_9 ◽

1990 ◽

pp. 254-274

Author(s):

Percy Mett

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Download Full-text

DSI: an evidence-based approach to identify dynamic data structures in C programs

Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 ◽

10.1145/2931037.2931071 ◽

2016 ◽

Author(s):

David H. White ◽

Thomas Rupprecht ◽

Gerald Lüttgen

Keyword(s):

Data Structures ◽

Evidence Based ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Download Full-text

Recognition of Dynamic Data Structures to Support Porting of Applications to the Cloud

2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing ◽

10.1109/cit/iucc/dasc/picom.2015.350 ◽

2015 ◽

Author(s):

Beniamino Di Martino ◽

Antonio Esposito

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Download Full-text

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.01.015 ◽

2004 ◽

Vol 108 ◽

pp. 99-112 ◽

Author(s):

Edgar G. Daylight ◽

Bart Demoen ◽

Francky Catthoor

Keyword(s):

Data Structures ◽

Software Design ◽

Embedded Software ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Initial Approach

Download Full-text

Dynamic data structures for series parallel digraphs

Lecture Notes in Computer Science - Algorithms and Data Structures ◽

10.1007/3-540-51542-9_30 ◽

1989 ◽

pp. 352-372 ◽

Author(s):

Giuseppe F. Italiano ◽

Alberto Marchetti Spaccamela ◽

Umberto Nanni

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Download Full-text