Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

851. Choose Your Programming Copilot A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

Autoren:: Sobania, Dominik; Briesch, Martin; Rothlauf, Franz
Editoren:: Fieldsend, Jonathan E; Wagner, Markus
Veröffentlichungsdatum:: 2022
Typ:: Konferenzbeitrag

852. Dataset of Pages from Early Printed Books with Multiple Font Groups

Autoren:: Seuret, Mathias; Limbach, Saskia; Weichselbaumer, Nikolaus; Maier, Andreas; Christlein, Vincent
Veröffentlichungsdatum:: 2019
Typ:: Konferenzbeitrag

853. On sampling error in evolutionary algorithms

Autoren:: Schweim, Dirk; Wittenberg, David; Rothlauf, Franz
Editoren:: Krawiec, Krzysztof
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

854. Persistent Software Transactional Memory in Haskell

Autoren:: Krauter, Nicolas; Raaf, Patrick; Braam, Peter; Salkhordeh, Reza; Erdweg, Sebastian; Brinkmann, Andre
Veröffentlichungsdatum:: 2021
Typ:: Zeitschriftenaufsatz

855. Simurgh: A Fully Decentralized and Secure NVMM User SpaceFile System

Autoren:: Moti, Nafiseh; Schimmelpfennig, Frederic; Salkhordeh, Reza; Klopp, David; Cortes, Toni; Rueckert, Ulrich; Brinkmann, Andre
Editoren:: Supinski, Bronis R de; Hall, Mary W; Gamblin, Todd
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

856. Denoising autoencoder genetic programming: strategies to control exploration and exploitation in search

Autoren:: Wittenberg, David; Rothlauf, Franz; Gagne, Christian
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

857. Domain-Specific Languages (Dagstuhl Seminar 15062).

Autoren:: Erdweg, Sebastian; Erwig, Martin; Paige, Richard F; Visser, Eelco
Veröffentlichungsdatum:: 2015
Typ:: Zeitschriftenaufsatz

858. Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015

Autoren:
Editoren:: Bahr, Patrick; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

859. A Module-System Discipline for Model-Driven Software Development

Autoren:: Erdweg, Sebastian; Ostermann, Klaus
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz

860. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Autoren:: Konat, Gabriël; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

861. Compositional soundness proofs of abstract interpreters

Autoren:: Keidel, Sven; Poulsen, Casper Bach; Erdweg, Sebastian
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

862. Modular and automated type-soundness verification for language extensions.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Morrisett, Greg; Uustalu, Tarmo
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

863. Type-safe, Polyvariadic Event Correlation.

Autoren:: Bracevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

864. Toward abstract interpretation of program transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Chiba, Shigeru; Boix, Elisa Gonzalez; Marr, Stefan
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

865. Type systems for the masses: deriving soundness proofs and efficient checkers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Wittmann, Pascal; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

866. Principled syntactic code completion using placeholders.

Autoren:: Amorim, Luís Eduardo de Souza; Erdweg, Sebastian; Wachsmuth, Guido; Visser, Eelco
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

867. Template constructors for reusable object initialization.

Autoren:: Martin, Marko; Mezini, Mira; Erdweg, Sebastian
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

868. Towards virtual traits in Scala.

Autoren:: Weiel, Manuel; Maier, Ingo; Erdweg, Sebastian; Eichberg, Michael; Mezini, Mira
Editoren:: Haller, Philipp; Miller, Heather
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

869. Sound type-dependent syntactic language extension.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Bodík, Rastislav; Majumdar, Rupak
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

870. SugarJ: library-based language extensibility.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

871. SugarJ: library-based syntactic language extensibility.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

872. Toward variability-aware testing.

Autoren:: Kästner, Christian; Rhein, Alexander von; Erdweg, Sebastian; Pusch, Jonas; Apel, Sven; Rendel, Tillmann; Ostermann, Klaus
Editoren:: Schaefer, Ina; Thüm, Thomas
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

873. An extensible framework for variable-precision data-flow analyses in MPS.

Autoren:: Szabó, Tamás; Alperovich, Simon; Voelter, Markus; Erdweg, Sebastian
Editoren:: Lo, David; Apel, Sven; Khurshid, Sarfraz
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

874. Tracing Program Transformations with String Origins.

Autoren:: Inostroza, Pablo; Storm, Tijs van der; Erdweg, Sebastian
Editoren:: Ruscio, Davide Di; Varró, Dániel
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

875. Modular capture avoidance for program transformations.

Autoren:: Ritschel, Nico; Erdweg, Sebastian
Editoren:: Paige, Richard F; Ruscio, Davide Di; Völter, Markus
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

876. Towards secure integration of cryptographic software.

Autoren:: Arzt, Steven; Nadi, Sarah; Ali, Karim; Bodden, Eric; Erdweg, Sebastian; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

877. Capture-Avoiding Program Transformations with name-fix.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Editoren:: Aßmann, Uwe; Demuth, Birgit; Spitta, Thorsten; Püschel, Georg; Kaiser, Ronny
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

878. CPL: a core language for cloud computing.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Editoren:: Fuentes, Lidia; Batory, Don S; Czarnecki, Krzysztof
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

879. Incrementalizing lattice-based program analyses in Datalog

Autoren:: Szabó, Tamás; Bergmann, Gábor; Erdweg, Sebastian; Voelter, Markus
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

880. The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Völter, Markus; Boersma, Meinte; Bosman, Remi; Cook, William R; Gerritsen, Albert; Hulshout, Angelo; Kelly, Steven; Loh, Alex; Konat, Gabriël DP; Molina, Pedro J; Palatnik, Martin; Pohjonen, Risto; Schindler, Eugen; Schindler, Klemens; Solmi, Riccardo; Vergu, Vlad A; Visser, Eelco; Vlist, Kevin van der; Wachsmuth, Guido; Woning, Jimi van der
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

881. Suffix Array Construction on Multi-GPU Systems

Autoren:: Bueren, Florian; Juenger, Daniel; Kobus, Robin; Hundt, Christian; Schmidt, Bertil
Editoren:: Weissman, Jon B; Butt, Ali Raza; Smirni, Evgenia
Veröffentlichungsdatum:: 2019
Typ:: Konferenzbeitrag

882. Gossip: Efficient Communication Primitives for Multi-GPU Systems

Autoren:: Kobus, Robin; Juenger, Daniel; Hundt, Christian; Schmidt, Bertil
Veröffentlichungsdatum:: 2019
Typ:: Konferenzbeitrag

883. Aus erster Hand - 3000 Jahre Kursivschrift der Pharaonenzeit digital analysiert

Autoren:: Gerhards, Simone; Gülden, Svenja A; Konrad, Tobias; Leuk, Michael; Elsbergen, Ursula Verhoeven-van; Rapp, Andrea
Editoren:: Vogeler, Georg
Veröffentlichungsdatum:: 2018
Typ:: Kapitel

884. WarpCore: A Library for fast Hash Tables on GPUs.

Autoren:: Jünger, Daniel; Kobus, Robin; Müller, André; Hundt, Christian; Xu, Kai; Liu, Weiguo; Schmidt, Bertil
Veröffentlichungsdatum:: 2020
Typ:: Zeitschriftenaufsatz

885. MetaCache-GPU: Ultra-Fast Metagenomic Classification

Autoren:: Kobus, Robin; Mueller, Andre; Juenger, Daniel; Hundt, Christian; Schmidt, Bertil
Editoren:: Sun, Xian-He; Shende, Sameer; Kalé, Laxmikant V; Chen, Yong
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

886. A branch-and-cut algorithm for the soft-clustered vehicle-routing problem

Autoren:: Hessler, Katrin; Irnich, Stefan
Veröffentlichungsdatum:: 2021
Typ:: Zeitschriftenaufsatz

887. A matheuristic for a 2-echelon vehicle routing problem with capacitated satellites and reverse flows

Autoren:: Dumez, Dorian; Tilk, Christian; Irnich, Stefan; Lehuede, Fabien; Olkis, Katharina; Peton, Olivier
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

888. On sampling error in genetic programming

Autoren:: Schweim, Dirk; Wittenberg, David; Rothlauf, Franz
Veröffentlichungsdatum:: 2022
Typ:: Zeitschriftenaufsatz

889. Reconstruction of Low Energy Neutrino Events with GPUs at IceCube

Autoren:: Hieronymus, Maicon; Schmidt, Bertil; Boeser, Sebastian
Editoren:: Krzhizhanovskaya, Valeria V; Závodszky, Gábor; Lees, Michael Harold; Dongarra, Jack J; Sloot, Peter MA; Brissos, Sérgio; Teixeira, João
Veröffentlichungsdatum:: 2020
Typ:: Zeitschriftenaufsatz

890. Gewissensbits – wie würden Sie urteilen?

Autoren:: Class, Christina B; Hütig, Andreas; Schönhals, Elske M
Veröffentlichungsdatum:: 2021
Typ:: Zeitschriftenaufsatz

891. Simultaneous segmentation and beam-hardening correction in computed microtomography of rock cores

Autoren:: Jovanovic, Zoran; Khan, Faisal; Enzmann, Frieder; Kersten, Michael
Veröffentlichungsdatum:: 2013
Typ:: Zeitschriftenaufsatz

892. Processing of rock core microtomography images : using seven different machine learning algorithms

Autoren:: Chauhan, Swarup; Rühaak, Wolfram; Khan, Faisal; Enzmann, Frieder; Mielke, Philipp; Kersten, Michael; Sass, Ingo
Veröffentlichungsdatum:: 2015
Typ:: Zeitschriftenaufsatz