SS18 (Echtzeitsysteme und eingebettete Systeme)

(((

(% class="bodytext" style="text-align: left;" %)

(% style="color: rgb(34,34,34);" %)Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.

4

5

6

(% class="bodytext" style="text-align: left;" %)

7

Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).

8

9

(% style="text-align: left;" %)

10

== Voraussetzungen ==

11

12

(% style="text-align: left;" %)

13

Für die Bearbeitung der Themen ist der erfolgte Besuch der Vorlesung Eingebettete Echtzeitsysteme nicht zwingend, es sollten jedoch die für das konkrete Thema relevanten Inhalte der Vorlesung nachgearbeitet werden. Die DozentInnen helfen hier natürlich gerne weiter.

14

Wir empfehlen zudem den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2017w&__e=346||shape="rect"]]** von Frau Peters.

15

16

(% style="text-align: left;" %)

17

== Dozenten ==

18

19

(% class="bodytext" style="text-align: left;" %)

20

Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %)

21

Steven Smyth (ssm@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(%%)

22

Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])

23

24

(% style="text-align: left;" %)

25

== Themen ==

26

27

(% class="bodytext" style="text-align: left;" %)

28

Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.

29

30

(% class="bodytext" style="text-align: left;" %)

31

//Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Beginn des Wintersemesters wird die Liste ggf. noch erweitert.

32

Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.

33

34

(% class="bodytext" style="text-align: left;" %)

35

Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.

36

)))

37

38

=== Bachelor Empfehlung ===

39

40

(% style="margin-left: 30.0px;" %)

41

TBA

42

43

=== Master Empfehlung ===

44

45

(% style="margin-left: 30.0px;" %)

46

TBA

47

48

(% style="margin-left: 30.0px;" %)

49

(% class="text-black navigate" %)//

//

== Termine ==

(% class="wrapped" %)

|=(((

Datum

)))|=(((

Meilenstein

)))

|(((

Di, 24.10.

)))|(((

Ende der Frist für die Themenauswahl (per Email)

64

)))

65

|(((

66

Di, 24.10., 14:30 Uhr

67

)))|(((

68

Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115

)))

|(((

Di, 14.11., 8:00 Uhr

)))|(((

Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)

74

)))

75

|(% colspan="1" %)(% colspan="1" %)

76

(((

77

Mi, 15.11 & Fr, 17.11

78

)))|(% colspan="1" %)(% colspan="1" %)

79

(((

80

Individualtermine, CAP 4, R. 1113

81

)))

82

|(% colspan="1" %)(% colspan="1" %)

83

(((

84

Di, 12.12., 8:00 Uhr

85

)))|(% colspan="1" %)(% colspan="1" %)

86

(((

87

Abgabe der Erstversion der vollständigen Ausarbeitung

88

)))

89

|(% colspan="1" %)(% colspan="1" %)

90

(((

91

Mi, 13.12 & Fr, 15.12

92

)))|(% colspan="1" %)(% colspan="1" %)

93

(((

94

Individualtermine, CAP 4, R. 1113

95

)))

96

|(% colspan="1" %)(% colspan="1" %)

97

(((

98

Di, 09.01., 8:00 Uhr

99

)))|(% colspan="1" %)(% colspan="1" %)

100

(((

101

Abgabe der Review-Version der Ausarbeitung

102

)))

103

|(% colspan="1" %)(% colspan="1" %)

104

(((

105

anschließend

106

)))|(% colspan="1" %)(% colspan="1" %)

107

(((

108

Zuordnung Ausarbeitungen/Reviewer (per Email)**

109

**

110

)))

111

|(% colspan="1" %)(% colspan="1" %)

112

(((

113

Di, 16.01., 8:00 Uhr

114

)))|(% colspan="1" %)(% colspan="1" %)

(((

Abgabe der Reviews**

**

)))

|(% colspan="1" %)(% colspan="1" %)

120

(((

121

tba

122

)))|(% colspan="1" %)(% colspan="1" %)

123

(((

124

evtl. Vortrag zur Gestaltung einer guten Präsentation

125

)))

126

|(% colspan="1" %)(% colspan="1" %)

127

(((

128

Di, 23.01., 8:00 Uhr

129

)))|(% colspan="1" %)(% colspan="1" %)

130

(((

131

Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)

132

)))

133

|(% colspan="1" %)(% colspan="1" %)

134

(((

135

Mi, 24.01 & Fr, 26.01

136

)))|(% colspan="1" %)(% colspan="1" %)

137

(((

138

Individualtermine, CAP 4, R. 111**3

139

**

140

)))

141

|(% colspan="1" %)(% colspan="1" %)

142

(((

143

Do, 01.02., 8:00 Uhr

144

)))|(% colspan="1" %)(% colspan="1" %)

145

(((

146

Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**

147

**

148

)))

149

|(% colspan="1" %)(% colspan="1" %)

150

(((

151

Mo, 05.02. (+ Di, 06.02.)

152

)))|(% colspan="1" %)(% colspan="1" %)

153

(((

154

Ganztägiges Blockseminar mit Vorträgen

155

)))

156

157

== Agenda des Blockseminars ==

158

159

Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.

160

161

Das erste Blockseminar findet am Montag, den **5. Februar 2018** im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!\\

162

163

(% class="wrapped relative-table" style="width: 51.0167%;" %)

|=(((

Zeit

)))|=(((

Tagesordnungspunkt

)))|=(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(((

8:20

)))|(((

//Begrüßung//

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(% colspan="1" %)(% colspan="1" %)

181

(((

182

8:30

183

)))|(% colspan="1" %)(% colspan="1" %)

184

(((

185

LibGALS: A library for GALS systems design and modeling

186

)))|(% colspan="1" %)(% colspan="1" %)

(((

Florian Scheurer

)))

|(% colspan="1" %)(% colspan="1" %)

191

(((

192

9:00

193

)))|(% colspan="1" %)(% colspan="1" %)

194

(((

195

Java Embedded Processors specialized for GALS Programs

196

)))|(% colspan="1" %)(% colspan="1" %)

(((

Dennis Smolka

)))

|(% colspan="1" %)(% colspan="1" %)

201

(((

202

9:30

203

)))|(% colspan="1" %)(% colspan="1" %)

204

(((

205

Energie- und zeitabhängige synchrone Programmierung

206

)))|(% colspan="1" %)(% colspan="1" %)

207

(((

208

(% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Nils Sauer

209

)))

210

|(% colspan="1" %)(% colspan="1" %)

211

(((

212

10:00

213

)))|(% colspan="1" %)(% colspan="1" %)

214

(((

215

//Kaffeepause//

216

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(% colspan="1" %)(% colspan="1" %)

221

(((

222

10:30

223

)))|(% colspan="1" %)(% colspan="1" %)

224

(((

225

A Formally Verified Compiler for Lustre

226

)))|(% colspan="1" %)(% colspan="1" %)

227

(((

228

P(% class="text-black navigate" %)hilip Eumann

229

)))

230

|(% colspan="1" %)(% colspan="1" %)

231

(((

232

11:15

233

)))|(% colspan="1" %)(% colspan="1" %)

234

(((

235

Modular Verification of Synchronous Programs

236

)))|(% colspan="1" %)(% colspan="1" %)

237

(((

238

(% class="text-black navigate" %)Sören Domrös

239

)))

240

|(% colspan="1" %)(% colspan="1" %)

241

(((

242

12:00

243

)))|(% colspan="1" %)(% colspan="1" %)

244

(((

245

//Mittagessen//

246

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(% colspan="1" %)(% colspan="1" %)

251

(((

252

14:00

253

)))|(% colspan="1" %)(% colspan="1" %)

254

(((

255

Temporal Properties for Neuronal Archetypes using Synchronous Models

256

)))|(% colspan="1" %)(% colspan="1" %)

(((

Lena Grimm

)))

|(% colspan="1" %)(% colspan="1" %)

261

(((

262

14:45

263

)))|(% colspan="1" %)(% colspan="1" %)

264

(((

265

The Dynamic Synchronous Language DSL

266

)))|(% colspan="1" %)(% colspan="1" %)

(((

Andreas Stange

)))

|(% colspan="1" %)(% colspan="1" %)

271

(((

272

15:30

273

)))|(% colspan="1" %)(% colspan="1" %)

274

(((

275

//Kaffeepause//

276

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(% colspan="1" %)(% colspan="1" %)

281

(((

282

16:00

283

)))|(% colspan="1" %)(% colspan="1" %)

284

(((

285

WCET Semantics for Synchronous Programs

286

)))|(% colspan="1" %)(% colspan="1" %)

(((

Niklas Rentz

)))

|(% colspan="1" %)(% colspan="1" %)

291

(((

292

16:45

293

)))|(% colspan="1" %)(% colspan="1" %)

294

(((

295

Relaxing the Synchronous Approach for Mixed-Criticality Systems

296

)))|(% colspan="1" %)(% colspan="1" %)

(((

Lewe Andersen

)))

|(% colspan="1" %)(% colspan="1" %)

301

(((

302

17:30

303

)))|(% colspan="1" %)(% colspan="1" %)

304

(((

305

//Schlusswort//

306

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

**

**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.

313

314

(% class="wrapped relative-table" style="width: 50.9569%;" %)

|=(((

Zeit

)))|=(((

Tagesordnungspunkt

)))|=(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(((

10:10

)))|(((

//Begrüßung//

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(((

10:15

)))|(((

Eine Einordnung der Sprache Zélus

335

)))|(% colspan="1" %)(% colspan="1" %)

(((

Julian Pleines

)))

|(% colspan="1" %)(% colspan="1" %)

340

(((

341

10:45

342

)))|(% colspan="1" %)(% colspan="1" %)

343

(((

344

Symbolic Simulation of Dataflow Synchronous Programs with Timers

345

)))|(% colspan="1" %)(% colspan="1" %)

(((

Lennart Ideler

)))

|(% colspan="1" %)(% colspan="1" %)

350

(((

351

11:15

352

)))|(% colspan="1" %)(% colspan="1" %)

353

(((

354

Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen

355

)))|(% colspan="1" %)(% colspan="1" %)

(((

Felix von der Heide

)))

|(% colspan="1" %)(% colspan="1" %)

360

(((

361

11:45

362

)))|(% colspan="1" %)(% colspan="1" %)

363

(((

364

Synchronous-Reactive Web Programming

365

)))|(% colspan="1" %)(% colspan="1" %)

(((

Yannic Borgfeld

)))

|(((

12:15

)))|(((

//Mittagessen//

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

|(% colspan="1" %)(% colspan="1" %)

378

(((

379

13:00

380

)))|(% colspan="1" %)(% colspan="1" %)

381

(((

382

ReactiveML, 10 Years Later - Ein Überblick

383

)))|(% colspan="1" %)(% colspan="1" %)

384

(((

385

(% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)Thies Weber

386

)))

387

|(% colspan="1" %)(% colspan="1" %)

388

(((

389

13:30

390

)))|(% colspan="1" %)(% colspan="1" %)

391

(((

392

Reactive Languages and Complex Event Processing

393

)))|(% colspan="1" %)(% colspan="1" %)

(((

Lars Viertel

)))

|(% colspan="1" %)(% colspan="1" %)

398

(((

399

14:00

400

)))|(% colspan="1" %)(% colspan="1" %)

401

(((

402

Koordination mehrerer Autonomer Manager

403

)))|(% colspan="1" %)(% colspan="1" %)

(((

Dennis Pehlke

)))

|(% colspan="1" %)(% colspan="1" %)

408

(((

409

14:30

410

)))|(% colspan="1" %)(% colspan="1" %)

411

(((

412

//Schlusswort//

413

)))|(% colspan="1" %)(% colspan="1" %)

(((

\\

)))

\\

== Ausarbeitung, Vortrag, Review ==

421

422

Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.

423

424

Die **Ausarbeitung** soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einen fortgeschrittenen Bachelor-Informatikstudenten gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden. Für mögliche Vorlagen zu den Ausarbeitungen siehe die Proceedings der früheren [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470||title="Seminare" shape="rect" class="None internal-link None"]] (Achtung, viele dieser Seminare sind gemischte Bachelor-/Masterveranstaltungen gewesen, bitte orientieren Sie sich an den Masterausarbeitungen (Bachlorausarbeitungen 4seitig, Master 6seitig)). Auch empfehlenswert ist ein Blick in die [[Hinweise>>url:http://rtsys.informatik.uni-kiel.de/confluence/x/jwBe||shape="rect" class="external-link-new-window None internal-link None"]] für die Anfertigung einer Abschlussarbeit.

425

426

Der **Vortrag** soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein. Das Vortragsprogramm wird etwas zusätzliche Zeit für Fragen (5 min) einplanen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages sinnvoll. Die Arbeitsgruppe bietet jedem/r Vortragenden an, eine Videoaufnahme des Vortrags zu erstellen und dem/r Vortragenden anschließend zur Verfügung zu stellen.

427

428

Ein **Review** einer Ausarbeitung besteht aus folgenden zwei Komponenten:

429

430

1. Generellen Anmerkungen (was gefällt Ihnen/gefällt Ihnen nicht, zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge etc. Mindestens eine halbe Seite, abgegeben als PDF-Datei.

431

1. Detaillierteren Korrekturen als elektronisch annotierte PDF-Version der Review-Version der Ausarbeitung. Es empfiehlt sich, hier nur mit dem Adobe Reader zu arbeiten, da Annotationen verschiedener PDF-Viewer oft inkompatibel sind.

432

433

Ein eingescannter, handschriftlich annotierter Ausdruck der Ausarbeitung (generelle Anmerkungen sind auch hier erforderlich!) ist notfalls auch ok, wenn gut lesbar, sollte aber vermieden werden. Die Zuordnung Paper/Reviewer geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.

434

435

Beispiele zur Ausarbeitung und zu Vortragsfolien finden sich in den Proceedings früherer [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470||title="Seminare" shape="rect" class="None internal-link None"]].

436

437

Jede(r) Seminarteilnehmer(in) erhält die Proceedings des laufenden Seminars.

438

439

== Namenskonventionen ==

440

441

Auch wenn das Einchecken von generierten Binärdateien generell eher vermieden werden sollte, sind für dieses Seminar auch die folgenden pdfs einzuchecken, um unnötige Compilierungsschwierigkeiten bei Dozenten und Reviewern zu vermeiden. Grafiken sollten in einem Unterordner (z.B. "images") abgelegt werden. Grafiken sollten weiterhin möglichst skalierbare Verktorgrafiken sein, die als PDF eingebunden werden können. Nicht einzuchecken sind temporäre Dateien (.aux etc.).

442

443

Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. **Bitte halten Sie sich** **von Anfang an an diese Namenskonventionen.** Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.

444

445

* Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//

446

* Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//

447

* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]//

448

* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]

449

* Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem17ws-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.

450

451

Anmerkung: Die Handoutfolien unterscheiden sich von den Vortragsfolien dadurch, dass die Handoutfolien keine Animationen für die Präsentation am Beamer enthalten. Beim Arbeiten mit der latex-beamer Klasse können Handoutfolien durch das Hinzufügen eines optionalen Argumentes bei der Deklaration der Dokumentenklasse generiert werden ("\documentclass[trans]{beamer}").

== Benotung ==

Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen.

== Technisches ==

* Reichlich Dokumentation zum //Git// Source Code Management System findet man unter [[http:~~/~~/www.git-scm.com/>>url:http://www.git-scm.com/||shape="rect" class="external-link"]].

460

* Für den Zugriff auf das Repository müssen wir Sie in unserem [[ Bitbucket>>url:https://git.rtsys.informatik.uni-kiel.de||shape="rect" class="None internal-link None"]] dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.

461

* Git-Repository auschecken: git clone [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git||shape="rect"]]\\

462

** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.

463

* (% class="external-link" %)ACM Style(%%) in deutscher oder englischer Version. Im Git Repository befinden sich im Unterverzeichnis //template/ //eine Reihe von Dateien, welche Sie als Vorlage verwenden sollen (siehe //README.txt//).

464

* Wir benutzen [[pdflatex>>url:http://de.wikipedia.org/wiki/PdfLaTeX||shape="rect" class="external-link"]] (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)

465

** sind im Prinzip gleich zu benutzen

466

** Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. [[http:~~/~~/latex.mschroeder.net/#grafiken>>url:http://latex.mschroeder.net/#grafiken||shape="rect" class="external-link"]] (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)

467

** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).

468

* (((

469

Bibliographie: Die Bibliographielemente werden in eine eigene *.bib Datei ausgelagert. Manuell wird dann einmal //pdflatex dokument.tex// aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird //bibtex dokument.aux// aufgerufen und dann nochmal zweimal //pdflatex dokument.tex//. Erst dann sind die Bibliographieelemente richtig im pdf-file.

470

)))

471

472

== Weiterführende Hinweise / Links ==

473

474

Generell ist es empfehlenswert, aus dem Uni-Netz heraus nach verwandten Publikationen zu suchen, da man hier Zugriff auf einige Online-Blbliotheken bekommt. Zur Suche empfehlen sich folgende Suchmaschinen und Seiten:

475

476

* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]

477

* CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/||shape="rect" class="external-link"]]

478

* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]

479

** Kostenloser Download nur aus Rechnern im Uninetz möglich

480

* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]

481

* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]

482

483

(% style="display: none;" %)

(((

555

)))

(% style="display: none;" %)