edoc-Server der Humboldt-Universität zu Berlin

Band einer Schriftenreihe

Autor(en): Christian Stahl; Wolfgang Reisig; Miloš Krstić
Titel: Hazard Detection in a GALS Wrapper: a Case study
Erscheinungsjahr: 2005
Erschienen in: Informatik-Berichte  184 ISSN: 0863-095X
Volltext: pdf (urn:nbn:de:kobv:11-10043243)
Herausgeber: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen.
Diese Seite taggen: Diese Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer ansehen können.
  • connotea
  • del.icio.us
  • Furl
  • RawSugar

Abstract (eng):
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in a gate is reduced to a model checking problem: the reachability of a particular marking in the Petri net. In order to alleviate state space explosion three techniques to reduce the model’s state space are presented. By use of these techniques we detected several potential hazards in the wrapper.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWStats aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite. Die Zugriffsstatistik wird nicht standardisiert erfasst und kann maschinelle Zugriffe enthalten.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
PDF: 1 ZugriffeStartseite: 2 ZugriffeStartseite: 7 ZugriffePDF: 5 ZugriffePDF: 2 ZugriffeStartseite: 1 ZugriffePDF: 11 ZugriffePDF: 10 ZugriffePDF: 4 ZugriffeStartseite: 2 ZugriffePDF: 3 ZugriffePDF: 7 ZugriffePDF: 12 ZugriffePDF: 9 ZugriffeStartseite: 1 ZugriffePDF: 7 ZugriffeStartseite: 1 ZugriffePDF: 9 ZugriffePDF: 18 ZugriffeStartseite: 1 ZugriffePDF: 15 ZugriffePDF: 11 Zugriffe
Jun
11		Jul
11		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Feb
13		Mar
13		Apr
13		May
13

MonatJun
11		Jul
11		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Feb
13		Mar
13		Apr
13		May
13
Startseite 27 1  2   11 1 
PDF1 52111043712979181511

Gesamtzahl der Zugriffe seit Jun 2011:

  • Startseite – 15 (1 pro Monat)
  • PDF – 124 (7.75 pro Monat)
    •  
 
Generiert am 19.06.2013, 06:56:30