Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Becker, Heiko
22  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Lassie: HOL4 tactics by example:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan.. - p. 212-223 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Icing: Supporting Fast-Math Style Optimizations in a Verifi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Becker, Heiko ; Darulova, Eva ; Myreen, Magnus O.. - p. 155-173 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Formally Verified Roundoff Errors Using SMT-based Certifica..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Bard, Joachim ; Becker, Heiko ; Darulova, Eva - p. 38-44 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Daisy - Framework for Analysis and Optimization of Numerica..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Darulova, Eva ; Izycheva, Anastasiia ; Nasir, Fariha... - p. 270-287 , 2018
Link: https://doi.org/10.1007/..
 
?
5

Comparing repositories visually with repograms:

, In: Proceedings of the 13th International Conference on Mining Software Repositories,
Rozenberg, Daniel ; Beschastnikh, Ivan ; Kosmale, Fabian... - p. 109-120 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Rango: An Intuitive Rule Language for Learning Classifier S..:

, In: 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS),
Feist, Melanie ; Breitbach, Martin ; Trotsch, Heiko.. - p. 31-40 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Voltaire: Precise Energy-Aware Code Offloading Decisions wi..:

, In: 2021 IEEE International Conference on Pervasive Computing and Communications (PerCom),
Breitbach, Martin ; Edinger, Janick ; Kaupmees, Siim... - p. 1-10 , 2021
Link: https://doi.org/10.1109/..
 
?
8

Message from the SAIP, NEMI, ECRF, Journal First, and Works..:

, In: 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C),
Becker, Steffen ; Camara, Javier ; Challita, Stephanie... - p. 10-11 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Contributors:

, In: Geologic Time Scale 2020,
Gradstein, Felix M. ; Ogg, James G. ; Schmitz, Mark D.... - p. xi-xiv , 2020
Link: https://doi.org/10.1016/..
 
?
10

Neural Network Guided Perceptually Optimized Bit-Allocation..:

, In: 2019 IEEE International Conference on Image Processing (ICIP),
Bosse, Sebastian ; Dietzel, Michael ; Becker, Soren... - p. 126-130 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Living on Cold Substrata: New Insights and Approaches in th..:

, In: The Ecosystem of Kongsfjorden, Svalbard; Advances in Polar Ecology,
Karsten, Ulf ; Schaub, Iris ; Woelfel, Jana... - p. 303-330 , 2019
Link: https://doi.org/10.1007/..
 
?
12

The palladio-bench for modeling and simulating software arc..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,
Heinrich, Robert ; Werle, Dominik ; Klare, Heiko... - p. 37-40 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Quality of Service-Oriented Software Systems (QUASOSS 2010):

, In: Models in Software Engineering; Lecture Notes in Computer Science,
Koziolek, Heiko ; Becker, Steffen ; Happe, Jens. - p. 364-368 , 2011
Link: https://doi.org/10.1007/..
 
?
14

An industrial case study on quality impact prediction for e..:

, In: Proceedings of the 33rd International Conference on Software Engineering,
Koziolek, Heiko ; Schlich, Bastian ; Bilich, Carlos... - p. 776-785 , 2011
Link: https://dl.acm.org/doi/1..
 
?
15

Berufsmobilität, Geschlecht und Lebensform. Berufsbedingte ..:

, In: Neue Wege – Gleiche Chancen,
Rüger, Heiko ; Becker, Katharina - p. 363-396 , 2011
Link: https://doi.org/10.1007/..
 
1-15