Publication type: Journal article / Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Publication type Journal article Organizational unit FB 08 Physik, Mathematik und Informatik Data source DBLP

1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Type:: Journal article

2. SAUCE: A web application for interactive teaching and learning of parallel programming

Autoren:: Hundt, Christian; Schlarb, Moritz; Schmidt, Bertil
Veröffentlichungsdatum:: 2017
Type:: Journal article

3. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Journal article

4. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).

Autoren:: Storm, Tijs van der; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Type:: Journal article

5. Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Veröffentlichungsdatum:: 2014
Type:: Journal article

6. $ν$-net: Deep Learning for Generalized Biventricular Cardiac Mass and Function Parameters.

Autoren:: Winther, Hinrich B; Hundt, Christian; Schmidt, Bertil; Czerner, Christoph; Bauersachs, Johann; Wacker, Frank K; Vogel-Claussen, Jens
Veröffentlichungsdatum:: 2017
Type:: Journal article

7. Convex Source Support and Its Application to Electric Impedance Tomography

Autoren:: Hanke, Martin; Hyvönen, Nuutti; Reusswig, Stefanie
Veröffentlichungsdatum:: 2008
Type:: Journal article

8. Deblurring Methods Using Antireflective Boundary Conditions

Autoren:: Christiansen, Martin; Hanke, Martin
Veröffentlichungsdatum:: 2008
Type:: Journal article

9. An Inverse Backscatter Problem for Electric Impedance Tomography

Autoren:: Hanke, Martin; Hyvönen, Nuutti; Reusswig, Stefanie
Veröffentlichungsdatum:: 2009
Type:: Journal article

10. A bit-serial floating-point unit for a massively parallel system on a chip

Autoren:: Schimmler *, Manfred; Schmidt, Bertil; Lang ‡, Hans-Werner
Veröffentlichungsdatum:: 2004
Type:: Journal article

« Previous
Next »
1
2
3
4
5
…
18
19