Displaying 4 results from an estimated 4 matches for "trifft".
2009 Dec 07
3
[LLVMdev] Documentation of malloc/free
...ition of the indirect branch instruction. A note in
the language reference would be nice telling the reader when this instruction
has been added to the language.
Regards,
Florian
[1] http://llvm.org/docs/LangRef.html
--
Karlsruher Institut für Technologie (KIT)
Forschungsgruppe Verifikation trifft Algorithmik
Dipl.-Inf. Florian Merz
Wissenschaftlicher Mitarbeiter
Am Fasanengarten 5
76131 Karlsruhe
Telefon: +49 721 608-7318
florian.merz at kit.edu
http://verialg.iti.uni-karlsruhe.de/
KIT - Universität des Landes Baden-Württemberg und
nationales Großforschungszentrum in der Helmholtz-Gemei...
2009 Sep 30
1
[LLVMdev] LLVM BarCamp Paris
Hi,
The 20th of Novembre 2009, a LLVM BarCamp will be hold at La Cantine.
Contributions, contributors, comments or any kind of help are welcome.
Thanks and see you in Paris,
Eric Mahe
http://www.facebook.com/group.php?gid=140537112502
http://barcamp.org/LLVM-BarCamp-Paris
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
2009 Dec 07
0
[LLVMdev] Documentation of malloc/free
...t;> without a historical view. To get the historical view we put major
>> changes in the release notes. These haven't been written yet for 2.7
>> though.
>>
>> -Chris
>>
> --
> Karlsruher Institut für Technologie (KIT)
> Forschungsgruppe Verifikation trifft Algorithmik
>
> Dipl.-Inf. Florian Merz
> Wissenschaftlicher Mitarbeiter
>
> Am Fasanengarten 5
> 76131 Karlsruhe
> Telefon: +49 721 608-7318
> florian.merz at kit.edu
> http://verialg.iti.uni-karlsruhe.de/
>
> KIT - Universität des Landes Baden-Württemberg und
>...
2011 Dec 01
0
[JOB] Softwareentwickler/-in, prometheus-Bildarchiv, Universität zu Köln
...tenbankverwaltung (Apache und MySQL)
- sicherer Umgang mit Webtechnologien (HTML, XML, JavaScript),
Shellprogrammierung (Bash) und Versionskontrollsystemen (Subversion,
Git) wird vorausgesetzt
- gute Englischkenntnisse
Wir bieten:
- ein kleines, aufgeschlossenes Team, das Entscheidungen gemeinsam
trifft und offen ist für neue Ideen, innovative Konzepte und
pragmatische Lösungsansätze
- selbstständiges Arbeiten, flexible Arbeitszeiten und ein
entspanntes Umfeld
- jede Menge Freiheit bei der Einrichtung der Arbeits- und
Entwicklungsumgebung
- einen modern ausgestatteten Arbeitsplatz mit Blick auf de...