E-LIB Suche - Ergebnisse für: Scholz, Bernhard

1

Liederseesack

Seemannslieder und Shanties zum Mitsingen

Böhle, Reinhard C. ; Scholz, Bernhard - 7. Aufl . , 2006

Exemplar: TB Nautik Pb Böh.1

2

Efficient Sink-Reachability Analysis via Graph Reduction (E..:

, In: 2023 IEEE 39th International Conference on Data Engineering (ICDE),

Dietrich, Jens ; Chang, Lijun ; Qian, Long... - p. 3897-3898 , 2023

Link: https://doi.org/10.1109/..

3

Automatic Rollback Suggestions for Incremental Datalog Eval..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Zhao, David ; Subotić, Pavle ; Raghothaman, Mukund. - p. 295-312 , 2023

Link: https://doi.org/10.1007/..

4

Julia Cloud Matrix Machine: Dynamic Matrix Language Acceler..:

, In: Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores,

Lee, Jay Hwan ; Kim, Yeonsoo ; Ryu, Yonghyun... - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

5

EVMTracer: Dynamic Analysis of the Parallelization and Redu..:

Hu, Xiaowen ; Burgstaller, Bernd ; Scholz, Bernhard
IEEE Access. 11 (2023) - p. 47159-47178 , 2023

Link: https://doi.org/10.1109/..

6

Runtime and energy constrained work scheduling for heteroge..:

Raca, Valon ; Umboh, Seeun William ; Mehofer, Eduard.
The Journal of Supercomputing. 78 (2022) 15 - p. 17150-17177 , 2022

Link: https://doi.org/10.1007/..

7

Proceedings of the 21st ACM SIGPLAN International Conferenc..:

Scholz, Bernhard ; Kameyama, Yukiyoshi , 2022

Link: https://dl.acm.org/doi/1..

8

Efficient Sink-Reachability Analysis via Graph Reduction:

Dietrich, Jens ; Chang, Lijun ; Qian, Long...
IEEE Transactions on Knowledge and Data Engineering. 34 (2022) 11 - p. 5321-5335 , 2022

Link: https://doi.org/10.1109/..

9

Building a Join Optimizer for Soufflé:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Arch, Samuel ; Hu, Xiaowen ; Zhao, David.. - p. 83-102 , 2022

Link: https://doi.org/10.1007/..

10

Towards Elastic Incrementalization for Datalog:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Zhao, David ; Subotic, Pavle ; Raghothaman, Mukund. - p. 1-16 , 2021

Link: https://dl.acm.org/doi/1..

11

The Choice Construct in the Soufflé Language:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Hu, Xiaowen ; Karp, Joshua ; Zhao, David... - p. 163-181 , 2021

Link: https://doi.org/10.1007/..

12

LASSEN, E.: Lieder / Mélodies (Mechelen, Romaniuk, Huszcza)

Naxos Music Library

Lassen, Eduard ; Giebel, Emanuel von ; Cornelius, Peter... , 2021

Link: http://suub.naxosmusicli..

13

An efficient interpreter for Datalog by de-specializing rel..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Hu, Xiaowen ; Zhao, David ; Jordan, Herbert. - p. 681-695 , 2021

Link: https://dl.acm.org/doi/1..

14

Instruction Code Selection:

, In: SSA-based Compiler Design,

Ebner, Dietmar ; Krall, Andreas ; Scholz, Bernhard - p. 257-268 , 2021

Link: https://doi.org/10.1007/..

15

Specializing parallel data structures for Datalog:

Jordan, Herbert ; Subotić, Pavle ; Zhao, David.
Concurrency and Computation: Practice and Experience. 34 (2020) 2 - p. , 2020

Link: https://doi.org/10.1002/..