Verfügbarkeit: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [Freiburg im Breisgau, 03. - 05. März 2008]

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Scholl, Christoph (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	German English
Veröffentlicht:	Aachen Shaker 2008
Schriftenreihe:	Berichte aus der Informatik
Online-Zugang:	Inhaltsverzeichnis Inhaltsverzeichnis
Beschreibung:	Beitr. teilw. dt., teilw. engl.
Beschreibung:	190 S. graph. Darst.
ISBN:	9783832269623 3832269622

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV024621758
003	DE-604
005	20090910
007	t
008	090924s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 08,A12,1104 \|2 dnb
016	7		\|a 987696505 \|2 DE-101
020			\|a 9783832269623 \|9 978-3-8322-6962-3
020			\|a 3832269622 \|9 3-8322-6962-2
035			\|a (OCoLC)213399149
035			\|a (DE-599)DNB987696505
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger \|a eng
044			\|a gw \|c XA-DE-NW
049			\|a DE-83
082	0		\|a 621.395 \|2 22/ger
084			\|a ZN 4904 \|0 (DE-625)157419: \|2 rvk
084			\|a 620 \|2 sdnb
084			\|a 004 \|2 sdnb
245	1	0	\|a Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen \|b [Freiburg im Breisgau, 03. - 05. März 2008] \|c [11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.)
264		1	\|a Aachen \|b Shaker \|c 2008
300			\|a 190 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Berichte aus der Informatik
500			\|a Beitr. teilw. dt., teilw. engl.
700	1		\|a Scholl, Christoph \|4 edt
711	2		\|a Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen \|n 11 \|d 2008 \|c Freiburg im Breisgau \|j Sonstige \|0 (DE-588)10196463-8 \|4 oth
856	4	2	\|u http://d-nb.info/987696505/04 \|3 Inhaltsverzeichnis
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018593700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-018593700

Datensatz im Suchindex

_version_	1804140642668904448
adam_text	INHALTSVERZEICHNIS ANALYSE UND OPTIMIEAING VON DYNAMISCH REKONFIGURIERBAREN SYSTEMEN MITTELS 1 EREIGNISVISUALISIERUNG RALPH GORGEN, FRANK OPPENHEIMER, ANDREAS SCHALLENBERG, WOLFGANG NEBEL EFFIZIENZANALYSE SYNTHETISIERTER HARDWARE-SOFTWARE-KOMMUNIKATION AM 11 BEISPIEL EINES HARDWAREBESCHLEUNIGTEN MPEG-AUDIO-DEKODERS HENNING KLEEN, FRANK OPPENHEIMER, WOLFGANG NEBEL ABSTRAKTE MODELLIERUNG VON HARDWARE/SOFTWARE-SYSTEMEN UNTER 21 BERUCKSICHTIGUNG VON RTOS-FUNKTIONALITAT MATTHIAS MULLER, JOACHIM GERFACH, WOLFGANG ROSENSTIEL PRAZISES INTERRUPT SCHEDULING IN ABSTRAKTEN RTOS MODELLEN IN SYSTEMC 31 HENNING ZABEL, WOLFGANG MULLER EINE QUANTITATIVE VOLLSTANDIGKEITSANALYSE FUR EIGENSCHAFTSSATZE 41 MARTIN OBERKONIG, MARTIN SCHICKEL, HANS EVEKING MODELING OF CUSTOM-DESIGNED ARITHMETIC COMPONENTS FOR ABL NORMALIZATION 51 EVGENY PAVLENKO, MARKUS WEDLER, DOMINIK STOFFEL, WOLFGANG KUNZ FORMALE VERIFIKATION EINER HARDWARE-LMPLEMENTIERUNG DES LIN-PROTOKOLL 61 KONTROLLERS BERNARD SCHMIDT, SLAVA BULACH, KATHARINA WEINBERGER, MARKUS WEDLER EINE DURCHGANGIGE UND WERKZEUGGESTUTZTE ENTWICKLUNGSUMGEBUNG FUR 71 EINGEBETTETE HARDWARE/SOFTWARE SYSTEME BENJAMIN LUTZ, CHRISTIAN KOLLNER, KLAUS D. MULLER-GLASER AUTOMATIC GENERATION OF CYCLE ACCURATE SYSTEMC MODELS FOR APPLICATION 81 SPECIFIC CLUSTERED VLIW PROCESSORS MICHAEL VOGEL, MARIO SCHOLZEL PLATZIERVERFAHREN ZUR EFFIZIENTEN NUTZUNG DER LOKALEN VERDRAHTUNGSRESSOURCEN 91 HIERARCHISCHER FPGA-ARCHITEKTUREN VALERIJ MATROSE THE DEMAND FOR RELIABILITY IN PROBABILISTIC VERIFICATION 99 RALF WIMMER, ALEXANDER KORTUS, MARC HERBSTRITT, BERND BECKER SYMBOLISCHE MODELLPRIIFUNG AKTOR-ORIENTIERTER HIGH-LEVEL SYSTEMC-MODELLE MIT 109 INTERVALLDIAGRAMMEN JENS GLADIGAU, FRANK BLENDINGER, CHRISTIAN HAUBELT UND JURGEN TEICH GENERATING DETERMINISTIC W-AUTOMATA FOR MOST LTL FORMULAS BY THE BREAKPOINT 119 CONSTRUCTION ANDREAS MORGENSTEM, KLAUS SCHNEIDER, SVEN LAMBERTI GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/987696505 DIGITALISIERT DURCH THE PAULA LANGUAGE FOR DESIGNING MULTI-DIMENSIONAL DATAFLOW-INTENSIVE 129 APPLICATIONS FRANK HANNIG, HOLGER RUCKDESCHEL, AND JIIRGEN TEICH SEMI-AUTOMATIC GENERATION OF MIXED HARDWARE/SOFTWARE PROTOTYPES FROM 139 SIMULINK MODELS MARTIN STREUBUHR, MICHAEL JANTSCH, CHRISTIAN HAUBELT, JIIRGEN TEICH SIMULATION AND PROFILING OF VIRTUAL INSTRUCTION SET ARCHITECTURES FOR HW/SW CO- 149 DESIGN CARSTEN GREMZOW DEBUGGING DESIGN ERRORS BY USING UNSATISFIABLE CORES 159 ANDRE SULFLOW, GORSCHWIN FEY, RODERICK BLOEM, ROLF DRECHSLER USING CONTRADICTION ANALYSIS FOR ANTECEDENT DEBUGGING IN BOUNDED MODEL 169 CHECKING DANIEL GROFIE, ROBERT WILLE, ULRICH KUHNE, ROLF DRECHSLER HARDWARE ACCELERATION FOR MODEL CHECKING 179 JENS BRANDT, KLAUS SCHNEIDER, ADRIAN WILLENBUCHER AUTORENVERZEICHNIS 189
any_adam_object	1
author2	Scholl, Christoph
author2_role	edt
author2_variant	c s cs
author_facet	Scholl, Christoph
building	Verbundindex
bvnumber	BV024621758
classification_rvk	ZN 4904
ctrlnum	(OCoLC)213399149 (DE-599)DNB987696505
dewey-full	621.395
dewey-hundreds	600 - Technology (Applied sciences)
dewey-ones	621 - Applied physics
dewey-raw	621.395
dewey-search	621.395
dewey-sort	3621.395
dewey-tens	620 - Engineering and allied operations
discipline	Maschinenbau / Maschinenwesen Informatik Elektrotechnik / Elektronik / Nachrichtentechnik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01800nam a2200409 c 4500</leader><controlfield tag="001">BV024621758</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2008 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A12,1104</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">987696505</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832269623</subfield><subfield code="9">978-3-8322-6962-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832269622</subfield><subfield code="9">3-8322-6962-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)213399149</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB987696505</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</subfield><subfield code="b">[Freiburg im Breisgau, 03. - 05. März 2008]</subfield><subfield code="c">[11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">190 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beitr. teilw. dt., teilw. engl.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Scholl, Christoph</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</subfield><subfield code="n">11</subfield><subfield code="d">2008</subfield><subfield code="c">Freiburg im Breisgau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10196463-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://d-nb.info/987696505/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018593700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018593700</subfield></datafield></record></collection>
id	DE-604.BV024621758
illustrated	Illustrated
indexdate	2024-07-09T22:03:14Z
institution	BVB
institution_GND	(DE-588)10196463-8
isbn	9783832269623 3832269622
language	German English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018593700
oclc_num	213399149
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	190 S. graph. Darst.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Shaker
record_format	marc
series2	Berichte aus der Informatik
spelling	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008] [11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.) Aachen Shaker 2008 190 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Beitr. teilw. dt., teilw. engl. Scholl, Christoph edt Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 11 2008 Freiburg im Breisgau Sonstige (DE-588)10196463-8 oth http://d-nb.info/987696505/04 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018593700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008]
title	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008]
title_auth	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008]
title_exact_search	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008]
title_full	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008] [11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.)
title_fullStr	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008] [11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.)
title_full_unstemmed	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen [Freiburg im Breisgau, 03. - 05. März 2008] [11. GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen]. Christoph Scholl ... (Hrsg.)
title_short	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_sort	methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen freiburg im breisgau 03 05 marz 2008
title_sub	[Freiburg im Breisgau, 03. - 05. März 2008]
url	http://d-nb.info/987696505/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018593700&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT schollchristoph methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemenfreiburgimbreisgau0305marz2008 AT workshopmethodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemenfreiburgimbreisgau methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemenfreiburgimbreisgau0305marz2008

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis
Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge