142 Infos zu Kai Trojahner

2 Aktuelle Nachrichten

AIDA - Advanced Image and Data Alignment: Mathematische Methoden der Bildregistrierung und Fusion von medizinischen Bilddaten z.B. bei Einsatz von MRT, CT oder Ultraschalluntersuchungen (Dipl.-Inf. Markus Hinkelmann, Dipl.-Inf. Nils Papenberg, Dipl.-Inf. Kai Trojahner)

... Kai Trojahner announced: RTT has an open full-time position at our Munich office. In this position, you will be part of a Scrum team that ...

2 Profile in Sozialen Netzwerken

trojahner has one repository available. Follow their code on GitHub.

Literature list. Contribute to athas/phd-literature development by creating an account on GitHub.

8 Bücher zum Namen

CNKI学术搜索是一个基于海量资源的跨学科、跨语种、跨文献类型的学术资源搜索平台，其资源库涵盖各类学术期刊、论文、报纸、专利、标准、年鉴、工具书等，旨在为国内外研究人员提供全面、权威、系统的知识网络。

Clemens GRELCK, Frank PENCZEK, Kai TROJAHNER: CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata. ...

loop-scalarization test Clemens Grelck, Sven-Bodo Scholz, and Kai Trojahner.

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015,...

3 Dokumente

Kai Trojahner davids ho( Michal Skvor Seung Jun Rodrigo Garc

caos: a domain-specific language for the parallel simulation of cellular automata clemens grelck 1, 2, frank penczek , and kai trojahner 1.

[13] Clemens Grelck and Kai Trojahner. Implicit memory management for. SAC. In 6th International Workshop on Implementation and Application.

11 Wissenschaftliche Publikationen

List of computer science publications by Kai Trojahner

Found 11 publication records. Showing 10 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Kai Trojahner: QUBE ...

List of computer science publications by BibTeX records: Kai Trojahner

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner From Contracts Towards Dependent Types: Proofs by Partial Evaluation 10:15: Máté Tejfel, Tamás Kozsik, Zoltán Horváth An Interpretation of Temporal Properties in Functional Programs 10:40-11:20: Coffee Break: 11:20-13:00: Session: Algorithms & Data Structures ...

11 Allgemeine Veröffentlichungen

We present the design and implementation of CAOS, a domain-specific high-level programming language for the parallel simulation of extended cellular automata....

This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages,...

2019, Mathematical Methods in the Applied Sciences · Descriptor-Free Representation of Arrays with Dependent Types. Kai Trojahner,Clemens Grelck

The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems....

58 Meinungen & Artikel

: Kai Trojahner de rec outdoors Hallihallo, ich plane gerade eine ... Das wär's fürs erste, aber ich bleibe hier in der Newsgroup Kai Trojahner.

: Kai Trojahner ... maus talk chauvi Hallo , Wir machen in der Schule gerade an einem Wettbewerb mit, bei dem es um Gleichberechtigung in ...

: Kai Trojahner ... maus rec vga-planets Hallo Andreas, Ich möchte auch ... Colonies Kai Trojahner @ FL | JA | 7d | RAR |beendet |

Auch diesen Freitag ist wieder Freitalk N8 im Nobreakspace. Dieses Mal bekommen wir von Malte und Sebastian ungewöhnliche Programmiersprachen am ‚lebenden...

45 Webfunde aus dem Netz

largest business network, helping professionals like Kai Trojahner discover inside ...

Kai Trojahner Diplomarbeit (Diploma thesis, 6 months full time) Implicit Memory Management for a Functional Array Processing Language (in English)

Kai Trojahner: memuat turun secara percuma. Perpustakaan elektronik. Toko buku dalam talian di Z-Library | B–OK. Download books for free. Find books.

Z-Library single sign on | Z-Library. Download books for free. Find books

Kai Trojahner: المكتبة الإلكترونية المجانية Z-Library | Z-Library. Download books for free. Find books.

Kai Trojahner. Kai Trojahner's related websites. Conferences. Displaying 4 series. Page: Implementation of Functional Languages (IFL) (Implementation of ...

1 File sharing using IP-Multicast Kai Trojahner, Peter Sobe University of Luebeck, Germany Institute of Computer Engineering Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortunately, an inherent characteristic of filesharing systems employing unicast communication is ...

File sharing using IP-Multicast Kai Trojahner, Peter Sobe University of Luebeck, Germany Institute of Computer Engineering -luebeck.de Abstract: File sharing systems cause a huge portion . More information

Kai Trojahner, Peter Sobe File sharing using IP-multicast Pages: Full Text; Carsten Albrecht, Rainer Hagenau, Erik Maehle, Andreas Döring, Andreas Herkersdorf A comparison of parallel programming models of network processors Pages: Full Text; Baiyi Song, Carsten Ernemann, Ramin Yahyapour

Kai Trojahner. Frank Penczek. CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata Clemens Grelck1,2 , Frank Penczek1,2 , and ...

... Marc Tommasi Jacobo Torán Szymon Toruńczyk Corentin Travers Kai Trojahner Kostas Tsichlas Dan Turetsky Johannes Uhlmann Vladimir V yugin René van ...

13: :30, Kai Trojahner, The Untyped Array Calculus — Its Syntax and Semantics. 14: :00, Kai Trojahner, The Typed Array Calculus. 16: :

Andrew Butterfield: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books

Kai Trojahner, Peter Sobe: File Sharing Using IP-Multicast CiteSeerX · Google scholar · pubzone.org · BibTeX · bibliographical record in XML ...

Authors: Kai Trojahner, Clemens Grelck. Publisher: Springer Berlin Heidelberg. Published in: Implementation and Application of Functional Languages.

Home of Dr. Dietmar Kreye

Comment 2 Kai Trojahner :01:45 PST. I encountered the same ... Kai Trojahner's solution (deleting some files) worked for me. Comment 7 Philip ...

14: :30, Kai Trojahner, Withloop scalarization - optimizing nested withloops. 15: :30, Michael Werner, Associative law optimization - first ideas.

File Sharing Using IP-Multicast - Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach,...

Clemens Grelck, Frank Penczek, and Kai Trojahner. Caos: A domain-specific language for the parallel simulation of cellular automata. In Viktor Malyshkin, editor, ...