- 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.
Search results
Showing 51 to 56 of 56 (0.043 seconds)| 51 |
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeBaier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus January 2012 (has links)
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic guarantees become more and more important. Probabilistic model checking is one technique to automatically obtain these guarantees. First experiences with the automated quantitative analysis of low-level operating-system code confirm the expectation that the naive probabilistic model checking approach rapidly reaches its limits when increasing the numbers of processes. This paper reports on our work-in-progress to tackle the state explosion problem for low-level OS-code caused by the exponential blow-up of the model size when the number of processes grows. We studied the symmetry reduction approach and carried out our experiments with a simple test-and-test-and-set lock case study as a representative example for a wide range of protocols with natural inter-process dependencies and long-run properties. We quickly see a state-space explosion for scenarios where inter-process dependencies are insignificant. However, once inter-process dependencies dominate the picture models with hundred and more processes can be constructed and analysed.
|
| 52 |
Chemnitzer Linux-Tage 2010Demierre, Andéol, Eggers, Monika, Garbe, Anselm R., Groß, Thomas, Jaenisch, Volker, Jung, Marco, Knopper, Klaus, Lang, Jens, Luithardt, Wolfram, Noble, Howard, Obst, Marcus, Pucklitzsch, Thomas, Schlittermann, Heiko, Schumacher, Stefan, Seidel, Philipp, Spillner, Josef, Tang, Kang, Walle, Bernhard, Wetzel, Ulrich 16 April 2010 (has links) (PDF)
Die Chemnitzer Linux-Tage fanden am 13. und 14. März 2010 auf dem
Campus der Technischen Universität Chemnitz statt. Neben den Präsentationen
im Foyer zogen vor allem die Vorträge über 2500 Besucher zur 12. Auflage
der Veranstaltung.
Der Band vereint den Inhalt von 15 Hauptvorträgen und die Abstrakts von
76 weiteren Beiträgen und stellt damit einen Überblick über das weit
gefächerte Programm der Veranstaltung dar. / The Chemnitz Linux Days took place at the campus of the Chemnitz University
of Technology. Besides the presentations at the foyer the lectures were
first of all attractive for more than 2.500 visitors.
This volume contains the content of 15 main lectures and abstracts of 76
further talks and hence gives a survey of the broadly based program
of this event.
|
| 53 |
Chemnitzer Linux-Tage 2010: Tagungsband – 13. und 14. März 2010Demierre, Andéol, Eggers, Monika, Garbe, Anselm R., Groß, Thomas, Jaenisch, Volker, Jung, Marco, Knopper, Klaus, Lang, Jens, Luithardt, Wolfram, Noble, Howard, Obst, Marcus, Pucklitzsch, Thomas, Schlittermann, Heiko, Schumacher, Stefan, Seidel, Philipp, Spillner, Josef, Tang, Kang, Walle, Bernhard, Wetzel, Ulrich 16 April 2010 (has links)
Die Chemnitzer Linux-Tage fanden am 13. und 14. März 2010 auf dem
Campus der Technischen Universität Chemnitz statt. Neben den Präsentationen
im Foyer zogen vor allem die Vorträge über 2500 Besucher zur 12. Auflage
der Veranstaltung.
Der Band vereint den Inhalt von 15 Hauptvorträgen und die Abstrakts von
76 weiteren Beiträgen und stellt damit einen Überblick über das weit
gefächerte Programm der Veranstaltung dar. / The Chemnitz Linux Days took place at the campus of the Chemnitz University
of Technology. Besides the presentations at the foyer the lectures were
first of all attractive for more than 2.500 visitors.
This volume contains the content of 15 main lectures and abstracts of 76
further talks and hence gives a survey of the broadly based program
of this event.
|
| 54 |
Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von SensordatenKriesten, Daniel 07 October 2014 (has links)
Ausgehend von einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten bereichert die vorliegende Dissertationsschrift den Systementwurf eingebetteter Systeme um neue Facetten. Ihr besonderer Fokus liegt dabei auf rekonfigurierbaren Architekturen und Linux-basierten Systemen. Ein wesentlicher Beitrag ist die Darstellung und Diskussion von Konzepten und Architekturen
vorgenannter Systeme durch ihre Betrachtung auf einer hohen Abstraktionsebene. Dazu schafft die Arbeit ein umfassendes Verständnis für Kommunikation und Konfiguration in heterogenen rekonfigurierbaren Systemen und überträgt die Erkenntnisse auf das Linux-Betriebssystem. Es erfolgt außerdem eine systematische Darstellung der etablierten Zusammenhänge und Abläufe beim
Software-, Paket- und Versionsmanagement im Linux-Umfeld. Zur Verbesserung des Entwurfsflusses werden Konzepte und ein geeignetes Werkzeug zur High-Level Spezifikation von Linux-Systemen dargestellt. Die in der Arbeit gewonnenen wissenschaftlichen Erkenntnisse werden hinsichtlich praktischer Relevanz evaluiert und durch prototypische Implementierungen verifiziert. / Based on a modular platform for recording and processing of sensor data the present thesis enriches the field of system design of embedded systems with new facets. Its particular focus is on reconfigurable architectures and Linux-based systems. A major contribution is the presentation and discussion of concepts and architectures of aforementioned systems by investigating them on a high level of abstraction. To achieve this, the work creates a comprehensive understanding of communication and configuration in heterogeneous reconfigurable systems. This knowledge is transferred on the Linux operating system. In addition, a systematic presentation of the established relationships and processes in software, package and version management in the Linux environment takes place. To improve the design flow of Linux systems, the thesis presents appropriate concepts as well as a tool for high-level specification of embedded Linux systems. The gained scientific findings are evaluated in terms of practical relevance and verified by prototype implementations.
|
| 55 |
Entwicklung des Kommunikationsteilsystems für ein objektorientiertes, verteiltes BetriebssystemBecher, Mike 09 November 1998 (has links)
Thema dieser Arbeit ist die Entwicklung eines Kommunikationsteilsystems fuer
das Experimentiersystem CHEOPS zur Ermoeglichung einer Interobjektkommunika-
tion zwischen Objekten auf dem gleichen bzw. verschiedenen Systemen.
Ausgangspunkte stellen dabei eine verfuegbare Implementation eines Ethernet-
Treibers der Kartenfamilie WD80x3 fuer MS-DOS, eine geforderte Kommunikations-
moeglichkeit mit UNIX-Prozessen sowie die dort benutzbaren Protokoll-Familien
dar.
Die Arbeit beschaeftigt sich mit der Analyse und Konzipierung des Ethernet-
Treibers sowie der Internet-Protokoll-Familie fuer CHEOPS als auch deren
Implementation resultierend in einem minimalen Grundsystem. Weiterhin wird
ein erster Entwurf fuer ein spaeter weiterzuentwickelndes bzw. zu vervoll-
staendigendes Netz-Interface vorgeschlagen und durch eine Beispiel-Implemen-
tierung belegt.
|
| 56 |
Entwicklung des Kommunikationsteilsystems für ein objektorientiertes, verteiltes Betriebssystem09 November 1998 (has links)
Thema dieser Arbeit ist die Entwicklung eines Kommunikationsteilsystems fuer
das Experimentiersystem CHEOPS zur Ermoeglichung einer Interobjektkommunika-
tion zwischen Objekten auf dem gleichen bzw. verschiedenen Systemen.
Ausgangspunkte stellen dabei eine verfuegbare Implementation eines Ethernet-
Treibers der Kartenfamilie WD80x3 fuer MS-DOS, eine geforderte Kommunikations-
moeglichkeit mit UNIX-Prozessen sowie die dort benutzbaren Protokoll-Familien
dar.
Die Arbeit beschaeftigt sich mit der Analyse und Konzipierung des Ethernet-
Treibers sowie der Internet-Protokoll-Familie fuer CHEOPS als auch deren
Implementation resultierend in einem minimalen Grundsystem. Weiterhin wird
ein erster Entwurf fuer ein spaeter weiterzuentwickelndes bzw. zu vervoll-
staendigendes Netz-Interface vorgeschlagen und durch eine Beispiel-Implemen-
tierung belegt.
|
Page generated in 0.0724 seconds