Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer implementation » amplifier implementation
limitations computer » limitations chapter, mitigation computer, applications computer
framework program » framework programmes, framework progress
computer implementation » amplifier implementation
limitations computer » limitations chapter, mitigation computer, applications computer
framework program » framework programmes, framework progress
1
by Ernstsson, August.
Published 2021
Format:
Published 2021
Table of Contents: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
Click to View
2
3
4
5
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View
6
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View
7
by Kong, Siu Cheung.
Published 2019
Format:
Published 2019
Table of Contents: “....1 Introduction -- 1.2 Conceptual Framework and Chapters in This Book -- 1.2.1 Sub-theme 1: Computational Thinking...”
Click to View
8
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
Click to View
9
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....2 Computing Affine Constants -- 6.3 Verification Algorithm -- 6.4 Implementation Remarks -- 7 Evaluation -- 7...”
Click to View
10
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... for Straight-Line Formulas -- 6 Extensions and Undecidability -- 7 Implementations, Optimizations...”
Click to View
11
12
13
by Karabulut, Zeynel Erdi; Istanbul Commerce University Graduate School of Natural and Applied Sciences Department of Computer Engineering, Kasapbaşı, Mustafa Cem; İstanbul Commerce University
Published 2018
Format:
Published 2018
“... nowadays play an important role in our lives. Such demands are not only limited to Logistics Information...”
Get full text
14
15
16
17
18
19
20
by Independent Evaluation Group
Published 2012
Subjects:
“...PROGRAM IMPLEMENTATION...”Published 2012
Get full text
Get full text