Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 21 - 40 von 6.003

21

Analysis of C Programs with Dynamic Linked Data Structures
Šoková, Veronika

dynamické dátové štruktú... LLVM abstraktná interpretácia... symbolic memory graph symbolický graf pamäte statická analýza
Dissertation
22

5 Queues
Data Structures and Program Design Using C. Dec 06, 2024

Buch
23

Automatic pool allocation : improving performance by controlling data structure layout in the heap
Lattner, Chris ; Adve, Vikram
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. :129-142

Konferenz
24

7 Stacks
Data Structures and Program Design Using C. Dec 06, 2024

Buch
25

Strongly typed memory areas programming systems-level data structures in a functional language
Diatchki, Iavor S. ; Jones, Mark P.
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell. :72-83

Konferenz
26

11 Files
Data Structures and Program Design Using C. Dec 06, 2024

Buch
27

CheckFence : checking consistency of concurrent data types on relaxed memory models
Burckhardt, Sebastian ; Alur, Rajeev ; Martin, Milo M. K.
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation. :12-21

Konferenz
28

3 Arrays
Data Structures and Program Design Using C. Dec 06, 2024

Buch
29

Functional pearl: a SQL to C compiler in 500 lines of code
Rompf, Tiark ; Amin, Nada
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. :2-9

Konferenz
30

Delta- and Kalman-filter designs for multi-sensor pose estimation on spherical mobile mapping systems
Arzberger, Fabian ; Schubert, Tim ; Wiecha, Fabian ; et al.
In Robotics and Autonomous Systems February 2025 184

Fachzeitschrift
31

Preface
Data Structures and Program Design Using C. Dec 06, 2024

Buch
32

9 Multi-Way Search Trees
Data Structures and Program Design Using C. Dec 06, 2024

Buch
33

Big data analytics in flexible supply chain networks
Zheng, Jing ; Alzaman, Chaher ; Diabat, Ali
In Computers & Industrial Engineering April 2023 178

Fachzeitschrift
34

Deep learning based data prefetching in CPU-GPU unified virtual memory
Long, Xinjian ; Gong, Xiangyang ; Zhang, Bo ; et al.
In Journal of Parallel and Distributed Computing April 2023 174:19-31

Fachzeitschrift
35

4 Linked Lists
Data Structures and Program Design Using C. Dec 06, 2024

Buch
36

Frontmatter
Data Structures and Program Design Using C. Dec 06, 2024

Buch
37

Spiral in scala : towards the systematic construction of generators for performance libraries
Ofenbeck, Georg ; Rompf, Tiark ; Stojanov, Alen ; et al.
Proceedings of the 12th international conference on Generative programming: concepts & experiences. :125-134

Konferenz
38

Appendix. Answers to Selected Exercises
Data Structures and Program Design Using C. Dec 06, 2024

Buch
39

Index
Data Structures and Program Design Using C. Dec 06, 2024

Buch

Filter