Publikationsart: Konferenzbeitrag / Organisationseinheit: FB 08 Physik, Mathematik und Informatik - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Organisationseinheit FB 08 Physik, Mathematik und Informatik

1071. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Mezini, Mira
Editoren:: Sabel, David; Thiemann, Peter
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

1072. Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018

Autoren:
Editoren:: Erdweg, Sebastian; Oliveira, Bruno CDS
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

1073. A Co-contextual Type Checker for Featherweight Java .

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Editoren:: Müller, Peter
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

1074. The IDE portability problem and its solution in Monto.

Autoren:: Keidel, Sven; Pfeiffer, Wulf; Erdweg, Sebastian
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

1075. Generating incremental type services.

Autoren:: Pacak, André; Erdweg, Sebastian
Editoren:: Nierstrasz, Oscar; Gray, Jeff; Oliveira, Bruno CDS
Veröffentlichungsdatum:: 2019
Typ:: Konferenzbeitrag

1076. Incremental overload resolution in object-oriented programming languages.

Autoren:: Szabó, Tamás; Kuci, Edlira; Bijman, Matthijs; Mezini, Mira; Erdweg, Sebastian
Editoren:: Dolby, Julian; Halfond, William GJ; Mishra, Ashish
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

1077. WarpDrive: Massively Parallel Hashing on Multi-GPU Nodes

Autoren:: Juenger, Daniel; Hundt, Christian; Schmidt, Bertil
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

1078. Ultra-Fast Detection of Higher-Order Epistatic Interactions on GPUs

Autoren:: Junger, Daniel; Hundt, Christian; Gonzalez-Dominguez, Jorge; Schmidt, Bertil
Editoren:: Desprez, Frédéric; Dutot, Pierre-François; Kaklamanis, Christos; Marchal, Loris; Molitorisz, Korbinian; Ricci, Laura; Scarano, Vittorio; Vega-Rodríguez, Miguel A; Varbanescu, Ana Lucia; Hunold, Sascha; Scott, Stephen L; Lankes, Stefan; Weidendorfer, Josef
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

1079. MARCEL GROSSMANN AND HIS CONTRIBUTION TO THE GENERAL THEORY OF RELATIVITY

Autoren:: SAUER, TILMAN
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag