Publication type: Journal article / Organizational unit: JGU / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Publication type Journal article Organizational unit JGU Data source DBLP

341. Scheduling shared continuous resources on many-cores

Autoren:: Althaus, Ernst; Brinkmann, Andre; Kling, Peter; Heide, Friedhelm Meyer Auf Der; Nagel, Lars; Riechers, Soeren; Sgall, Jiri; Suess, Tim
Veröffentlichungsdatum:: 2018
Type:: Journal article

342. 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
Type:: Journal article

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

Autoren:: Erdweg, Sebastian; Ostermann, Klaus
Veröffentlichungsdatum:: 2017
Type:: Journal article

344. Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

Autoren:: Demetrescu, Camil; Erdweg, Sebastian; Hammer, Matthew A; Krishnamurthi, Shriram
Veröffentlichungsdatum:: 2016
Type:: Journal article

345. Sound and reusable components for abstract interpretation

Autoren:: Keidel, Sven; Erdweg, Sebastian
Veröffentlichungsdatum:: 2019
Type:: Journal article

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

Autoren:: Konat, Gabriël; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Veröffentlichungsdatum:: 2018
Type:: Journal article

347. Exploration of language specifications by compilation to first-order logic

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article

348. Language-integrated privacy-aware distributed queries

Autoren:: Salvaneschi, Guido; Köhler, Mirko; Sokolowski, Daniel; Haller, Philipp; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Journal article

349. A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Type:: Journal article

350. Versatile event correlation with algebraic effects

Autoren:: Bračevac, Oliver; Amin, Nada; Salvaneschi, Guido; Erdweg, Sebastian; Eugster, Patrick; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article

« Previous
Next »
1
2
…
31
32
33
34
35
36