• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 76
  • 64
  • 9
  • 8
  • Tagged with
  • 157
  • 109
  • 109
  • 49
  • 37
  • 29
  • 22
  • 21
  • 21
  • 21
  • 17
  • 17
  • 14
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Die Sicherheitsaspekte von mobilem Code

Sohr, Karsten. January 2001 (has links) (PDF)
Marburg, Universiẗat, Diss., 2001.
22

Integration of programming environments for platform migration

Gerhardt, Frank. January 2003 (has links) (PDF)
Tübingen, University, Diss., 2003.
23

Analyzing Java in Isabelle-HOL formalization, type safety and Hoare logic /

Oheimb, David von. January 2001 (has links) (PDF)
München, Techn. University, Diss., 2001.
24

Locally boolean domains and universal models for infinitary sequential languages

Löw, Tobias. Unknown Date (has links)
Techn. University, Diss., 2006--Darmstadt.
25

Dynamic compilation for functional programs

Grabmüller, Martin January 2009 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2009
26

Increasing productivity in high energy physics data mining with a domain specific visual query language

Amaral, Vasco Miguel Moreira do. January 2004 (has links)
Mannheim, Univ., Diss., 2005.
27

Künstliche Intelligenz, Logik und Mathematikunterricht /

Pilz, Eva. January 1991 (has links)
Zugl.: Oldenburg, Universiẗat, Diss., 1990.
28

Generic modelling with graph rewriting systems paramateric polymorphism and object-oriented modelling with Progress /

Münch, Manfred. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
29

Kooperation und Kommunikation in heterogenen Rechner- und Sprachumgebungen mit Perl-Linda

Schönfeldinger, Werner J. 06 1900 (has links) (PDF)
Diese Arbeit stellt Perl-Linda, einen flexiblen Prototyp für die Implementation des Koordinations- und Kommunikationsmodells Linda für ein Netzwerk von Workstations vor. Der Autor zeigt zuerst Trends in der Informationstechnologie auf, insbesondere die globale Vernetzung durch das Internet, die eine Änderung der Anforderungen an Applikationen herbeiführen. Durch die immer weitere Verbreitung des Betriebsystems UNIX stellen Netzwerke von UNIX-Workstations eine preisgünstige und in einer Vielzahl von Organisationen verfügbare Variante zu Super- und Parallelrechnern dar. Aufbauend auf den bereits zu Linda existierenden Arbeiten und Implementationen, wird Perl-Linda, ein Prototyp geschaffen, der auf Client/Server-Basis eine einheitliche Schnittstelle für die Erweiterung von Programmiersprachen um den Linda-Befehlssatz implementiert. Auf Basis dieser Schnittstelle werden die für einige Programmiersprachen wie C, C++, Perl und APL, erstellten Client-APIs beschrieben und deren Funktion anhand von Beispielen erläutert. Die Entwicklungsschritte zum Design und zur Entwicklung einer Linda-Applikation werden beschrieben und an Beispielen durchgeführt. Abschließend wird der Einsatz von Linda für die Erweiterung der Funktionalität des World Wide Web-Systems (WWW) für die Schaffung von WWW-basierten Transaktionssystemen gezeigt. Es werden mit Linda und WWWrealisierte Informationssysteme als Beispielapplikationen vorgestellt und erläutert. (Autorenref.)
30

Erweiterung und Generierung einer Zwischendarstellung für C-Programme

Rohrbach, Jürgen. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Studienarb., 1998.

Page generated in 0.103 seconds