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

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

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

MG++: Memory graphs for analyzing dynamic data structures

2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER) ◽

10.1109/saner.2015.7081839 ◽

2015 ◽

Author(s):

Vineet Singh ◽

Rajiv Gupta ◽

Iulian Neamtiu

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Download Full-text

Dynamic data structures for approximate Hausdorff distance in the word RAM

Computational Geometry ◽

10.1016/j.comgeo.2016.08.002 ◽

2017 ◽

Vol 60 ◽

pp. 37-44 ◽

Author(s):

Timothy M. Chan ◽

Dimitrios Skrepetos

Keyword(s):

Data Structures ◽

Hausdorff Distance ◽

Dynamic Data Structures ◽

Download Full-text