Filters








54 Hits in 5.9 sec

Masthead

2012 PIK - Praxis der Informationsverarbeitung und Kommunikation  
and Context Model Descriptions 281 Oscar Soria Dustmann Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung 289 Alois Potton Das Review 309  ...  Hans Günther Kruse Telefon (0171) 30 72 861 e-mail: kruse@rz.uni-mannheim.de Contents Editorial Dirk von Suchodoletz, Rechert Klaus and Bram van der Werf Long-term Preservation in the Digital  ... 
doi:10.1515/pik-2012-masthead4 fatcat:jfftzrgtszajvn3ckvif54ljmi

Das Fehlertolerante System Tandem T16 [chapter]

Alfred Schulz
1984 Software-Fehlertoleranz und -Zuverlässigkeit  
Im Rahmen einer Studienarbeit wird ein System zum Auffinden von Web Service Instanzen in einem Peer2Peer Netz implementiert.  ...  Die Benutzung von Parallelrechnern und auch eine verteilte Verarbeitung in Netzwerken bedeutet eine höhere Anfälligkeit gegenüber Fehlern.  ...  mRNA-Expressionsanalyse von hypoxie-assoziierten Zielgenen bei verschiedenen Todesursachen In der rechtmedizinischen Routine ist eine Aufklärung von zeitlichen Zusammenhängen mit dem Todeseintritt häufig  ... 
doi:10.1007/978-3-642-69705-0_18 dblp:conf/icftcs/Schulz84 fatcat:mcbxefmt25ajljtzk6nh5vudqq

Kontextadaptive Dienstnutzung in Ubiquitous Computing Umgebungen Kontextadaptive Dienstnutzung in Ubiquitous Computing Umgebungen

Michael Samulowitz, Michael Samulowitz
unpublished
Verteilten Systemen.  ...  Addition, Subtraktion oder symbolischer Vergleich). Regelkreis B modelliert die Evaluation eines CAPs in einem verteilten System.  ... 
fatcat:f6qyg6lg5vfvdgtjomd53fj6jq

Plattformabhängige Umgebung für verteilt paralleles Rechnen mit Rechnerbündeln

Bernhard Haumacher
2005
Beides ermöglicht eine effiziente Ausführung rechenintensiver Anwendungen auf Rechnerbündeln.  ...  und unverändert in der verteilten Umgebung nutzbar.  ...  Implementierung der virtuellem Maschine die Ausführung von unmodifizierten Java-Programmen auf verteilten Systemen anstrebt.  ... 
doi:10.5445/ir/1000005019 fatcat:x7c4rt3ifbh7zha4wmckeyeohq

Flexible Kommunikation in effizient entwickelten adaptiven vernetzten Dienste- und Gerätesystemen

Oliver Dohndorf, Technische Universität Dortmund, Technische Universität Dortmund
2016
und effiziente Entwickeln ambienter Systeme ermöglicht.  ...  Weiterhin wird die Hersteller unabhängige Integration von Geräten in die Service-Plattform beschrieben, die für den Einsatz im IoT-Umfeld eine besondere Bedeutung hat.  ...  Abbildung 2.14: Funktion einer Middleware Kommunikation in verteilten Systemen Die Kommunikation in verteilten Systemen steuert den Austausch von Nachrichten und ermöglicht so Interoperabilität und Kooperation  ... 
doi:10.17877/de290r-17337 fatcat:a2onmfgx5vd3bbbdctjp76uvca

Modell Internet? Entwicklungsperspektiven neuer Kommunikationsnetze

K. Böhle
1996 TATuP - Journal for Technology Assessment in Theory and Practice  
verteilten Informationen, ohne daß diese vorher vollständig übertragen würde.  ...  Die Flexibilität des elektronischen Mediums gestattet ja auch leicht Formen der nachträglichen Korrektur von Fehlern oder des Einbringens von Erweiterungen -in der Regel Uber Annotationen, die als solche  ...  Daß Theoretiker sich bei einem Ortswechsel nicht notwendig von ihren Mitarbeitern trennen, hängt auch mit der hohen Spezialisierung des Feldes zusammen.  ... 
doi:10.14512/tatup.5.4.78 fatcat:2mxes7asibasbjv27efq4tl2ka

Fehlervermeidung an Schnittstellen-Prozessen der verteilten Produktentwicklung

Henryk Stöckert, Technische Universität Berlin, Technische Universität Berlin, Rainer Stark
2011
Diese Arbeit befasst sich mit der Prozess-Schnittstelle, die zwischen einzelnen Prozessen der verteilten Produktentwicklung liegt, dem Schnittstellen-Prozess, der die Überleitung zwischen diesen Schritten  ...  Mit zunehmender Koordination, Kooperation und Kollaboration und mit speziellen Methoden wie etwa dem Frontloading steigt jedoch die Anzahl an Sonderproblemen, die zu Effizienzverlusten und Frustrationen  ...  Es steht in Wechselwirkung mit einer Vielzahl von Systemen, wobei Nebenbedingungen jeweils in eine oder teilweise beide Richtungen erfüllt werden müssen.  ... 
doi:10.14279/depositonce-2695 fatcat:2pgnblnlonfvvpxfgxgqsewzpa

Kommunikationsmodell eines verteilten virtuellen Speichers [article]

Moritz Wende, Universität Ulm, Universität Ulm
2016
Für die Konsistenz der verteilten Daten wird eine optimistische Synchronisierung in Kombination mit Transaktionen eingesetzt, um konkurrierende Zugriffe aufzulösen.  ...  Beim Ausfall eines oder mehrerer Rechner wird durch das Kommunikationsmodell in Kombination mit einem dedizierten Rechner - dem Pageserver - die Integrität des VVS gewährleistet.  ...  Dadurch wird die effiziente Implementierung eines strikt konsistenten Speichers in einem verteilten System fast unmöglich.  ... 
doi:10.18725/oparu-30 fatcat:vse3tu2ajrawln36mdkweg7fpq

Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme [article]

Michael Gunzert, Universität Stuttgart, Universität Stuttgart
2003
Dabei wurden zuerst die Eigenschaften von sicherheitskritischen eingebetteten Systemen untersucht. Daraus wurden Anforderungen an die Konzeption abgeleitet.  ...  Die Software in diesen Systemen gewinnt sehr stark an Bedeutung und wird gleichzeitig immer umfangreicher und komplexer.  ...  Das Entwurfsmodell beschreibt eine Notation für die Spezifikation von verteilten eingebetteten Systemen mit Hilfe von synchronen Softwarekomponenten.  ... 
doi:10.18419/opus-2523 fatcat:imndkduagvcatj4h6cc5pex3vi

Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen

Rico Dreier
2006
Systemen.  ...  Der Grad an Übereinstimmung der Simulationsergebnisse mit dem tatsächlichen Verhalten des realen Systems hängt dabei entscheidend von der Genauigkeit ab, mit der das Modell relevante Aspekte der Realität  ...  Verteilte Ausführung von Systemen Lastenausgleich in verteilten Systemen Je besser die statische Partitionierung ist, desto geringer ist der Kommunikationsaufwand bei der Simulation, woraus eine geringere  ... 
doi:10.5445/ir/1000004575 fatcat:beubrbpx6nfx3oyh6acnpz25dm

Eine Infrastruktur für die dezentrale Ausführung von BPEL-Prozessen [article]

Daniel Wutke, Universität Stuttgart, Universität Stuttgart
2010
Gegenwärtig erfolgt die Ausführung von BPEL-Prozessen logisch zentral, d.h. ein Workflow-Management-System interpretiert das Prozessmodell und interagiert daraufhin mit den verschiedenen vom Prozess verwendeten  ...  von Web-Services.  ...  Um diesen funktionalen Kern wurden zusätzliche Funktionen definiert, mit dem Ziel, eine effiziente Ausführung von BPEL-Prozessen in ihrer EWFN-Repräsentation zu erlauben.  ... 
doi:10.18419/opus-2682 fatcat:qmm2gzg3yzatlketg2tfwx3bvq

Persistente Typen und Laufzeitstrukturen in einem Betriebssystem mit verteiltem virtuellen Speicher [article]

Michael Frank Werner Schöttner, Universität Ulm, Universität Ulm
2016
Diese Arbeit beschäftigt sich mit Fragestellungen und Perspektiven persistenter Typen sowie mit dem Entwurf von Laufzeitstrukturen in einem Betriebssystem (BS) mit persistentem verteilten virtuellen Speicher  ...  Die Implementierungsarbeiten haben bestätigt, dass durch einen integrierten Entwurf von Betriebssystem und Übersetzer eine Reihe von Synergien möglich sind, die unter anderem auch in schnellen Übersetzungs  ...  Eine erste grobe Klassifikation von verteilten Systemen kann aufgrund der Art der Rechnerkommunikation vorgenommen werden.  ... 
doi:10.18725/oparu-24 fatcat:cpyef5ai2jdejb7hjkt46td2ra

Automation des Tests eingebetteter Systeme am Beispiel der Kraftfahrzeugelektronik [online]

Nico Hartmann
2001
Müller-Glaser genannt, der mich über die gesamte Zeit der Arbeit begleitete und mit vielen guten und anregenden Ideen entscheidend zum Gelingen der Arbeit beitrug. Gleiches gilt für Herrn Prof.  ...  ). • Die auf gleichzeitig agierende Komponenten verteilten Systeme im Kraftfahrzeug erzwingen die parallele Ausführung von Test-Teilaufgaben.  ...  Der Test beginnt mit Software in the Loop Testsystemen für Modelle von Komponenten und Systemen.  ... 
doi:10.5445/ir/1642001 fatcat:bmfygmbkerdidnl6akoedknume

Suchbasierter Strukturtest für Simulink Modelle [article]

Andreas Windisch, Technische Universität Berlin, Technische Universität Berlin, Stefan Jähnichen
2011
Existierende Ansätze zur Automatisierung des strukturorientierten Tests für Modelle basieren hauptsächlich auf symbolischer Ausführung und Constraint Solving oder der Zufallssuche.  ...  Die Aufgabe der strukturorientierten Testdatengenerierung wird in ein Optimierungsproblem transformiert, welches mit Hilfe eines metaheuristischen Suchverfahrens gelöst wird.  ...  Vorhandensein, und nicht die Abwesenheit von Fehlern aufzeigen [36] .  ... 
doi:10.14279/depositonce-3023 fatcat:eocyaaawbfbv5oz4bd2l7n2cgu

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz [article]

Ralf Scheidhauer, Universität Des Saarlandes, Universität Des Saarlandes
2004
Wir vergleichen Mozart, die Implementierung von Oz, mit den Implementierungen anderer Sprachen.  ...  Viele Ideen und Lösungen entstanden in zahlreichen Diskussionen mit meinen Kollegen und sind erst in enger Teamarbeit zu dem geworden, wie sie sich aus heutiger Sicht darstellen.  ...  mit 3000 Elementen.terschiedlichsten Fehlern (von falschen Ergebnissen bis zu Abstürzen mit bus error).  ... 
doi:10.22028/d291-25738 fatcat:wzoa2sch7nd4rftvcc3th3dlgi
« Previous Showing results 1 — 15 out of 54 results