Institut für Computersprachen

Organization Name (de) Name der Organisation (de)
E185 - Institut für Computersprachen
 
Code Kennzahl
E185
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
 


Results 281-300 of 349 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
281Mor, Marcus Shared virtual space distribution manager - SVSDM : use casesThesis Hochschulschrift2005
282Mordinyi, Richard Shared Virtual Space Distribution Manager - SVSDM : design and implementationThesis Hochschulschrift2005
283Eller, Helmut Optimizing interpreters with superinstructionsThesis Hochschulschrift2005
284Zakraoui, Jesia Software-Tools für Terminierungsbeweise von Termersetzungssystemen : eine vergleichende AnalyseThesis Hochschulschrift2005
285Stepisnik, Josef Distributed object-oriented architectures : Sockets, Java RMI, and CORBAThesis Hochschulschrift2005
286Farfeleder, Stefan Compiler generation by architecture descriptionThesis Hochschulschrift2005
287Bickel, Joachim Implementation of the VooDo Kern programming languageThesis Hochschulschrift2005
288Kirk, Alexander Caching strategies for load reduction on high traffic web applicationsThesis Hochschulschrift2005
289Spohr, Hendrik A proof tool for Gentzen CalculiThesis Hochschulschrift2005
290Schuh, Wolfgang Persistency component for a virtual shared memory systemThesis Hochschulschrift2005
291Rohner, Martin Last Balancierung für Grid ComputingThesis Hochschulschrift2005
292Ruhdorfer, AngelikaConflict detection and conflict resolution for asynchronous database replicationThesis Hochschulschrift2005
293Beinhart, Martin Entwurf und Implementierung einer service-orientierten Software-Architektur durch Integration verschiedener Middleware-SystemeThesis Hochschulschrift2005
294Trenkwalder, Andreas Entwicklung eines mobilen Roboters mit KettenantriebThesis Hochschulschrift2005
295Hirnschrott Ulrich - 2005 - Compilation techniques for reducing energy...pdf.jpgHirnschrott, Ulrich Compilation techniques for reducing energy consumption of embedded digital signal processorsThesis Hochschulschrift 2005
296Feinerer Ingo - 2005 - Formal program verification a comparison of selected...pdf.jpgFeinerer, IngoFormal program verification : a comparison of selected tools and their theoretical foundationsThesis Hochschulschrift 2005
297Bermudo Pla Nerina - 2005 - Reverse compilation techniques for VLIW...pdf.jpgBermudo Pla, Nerina Reverse compilation techniques for VLIW architecturesThesis Hochschulschrift 2005
298Hummel Karin Anna - 2005 - Mobility-aware distributed computing in shared data...pdf.jpgHummel, Karin Anna Mobility-aware distributed computing in shared data spacesThesis Hochschulschrift 2005
299Strauß-Haslinglehner, Stefan Schnelles Starten grosser ProgrammeThesis Hochschulschrift2005
300Ogris, Julia Software pipelining in a DSP C-CompilerThesis Hochschulschrift2004