Homepage
Sitemap
Kontakt


Arbeitsgruppe
Forschung
Lehre
Publikationen
Service
Kontakt



Home « Service « Veranstaltungen

An dieser Stelle versorgen wir Sie mit Terminen rund um die Arbeitsgruppe Rechnerarchitektur.

Möchten Sie einen Termin melden?
Wenden Sie sich bitte an Lisa Jungmann.


AKTUELLES JAHR
Am 02.12.2009 | Kolloquien
Thema: Code-Erzeugung für sicherheitskritische Realzeit-Systeme
Vortragender: Dr. Heiko Falk
Ansprechpartner: Prof. Dr. Rolf Drechsler


Am 26.10.2009 | Kolloquien
Thema: Verification and debugging of hardware designs utilizing C‐based high‐level design descriptions Abstract
Vortragender: Masahiro Fujita and Amir Gharehbaghi
Rotunde
Cartesium
Ansprechpartner: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


Am 30.07.2009 | Rund um die AG
Thema: Auf der DAC 2009 wird von Rolf Drechsler eine Special Session zum Thema Debugging organisiert
Moscone Center
San Francisco, CA
Ansprechpartner: Prof. Dr. Rolf Drechsler


Am 30.06.2009 | Rund um die AG
Thema: Schnupperstudium
MZH 3420
Ansprechpartner: Lisa Jungmann


Am 30.06.2009 | Vortrag
Thema: Verification of Finite-Precision (Bit-Vector) Arithmetic using Finite Integer Algebras
Vortragender: Prof. Priyank Kalla
Rotunde, Cartesium
Ansprechpartner: Prof. Dr. Rolf Drechsler


Am 23.06.2009 | Vortrag
Thema: A Formal Approach for Debugging Arithmetic Circuits
Vortragender: Masahiro Fujita
Rotunde, Cartesium
Ansprechpartner: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


Am 29.05.2009 | Vortrag
Thema: Signature-Based Testing for Digitally-Assisted Adaptive Equalizers in High-Speed Serial Links
Vortragender: Satoshi Komatsu
MZH 8090
Ansprechpartner: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


Am 23.04.2009 | Rund um die AG
Thema: GirlsDay 09
Seminarraum, MZH
Ansprechpartner: Lisa Jungmann


Am 15.02.2009 | Dies&Das
Thema: TuZ Workshop 2009
Olbers Saal
Haus der Wissenschaft
Ansprechpartner: Prof. Dr. Rolf Drechsler


Am 15.01.2009 | Rund um die AG
Thema: RA:GS!/GESy - Gemeinsamer Workshop von Universität Bremen und Siemens
MZH 8090, Uni Bremen
Ansprechpartner: Prof. Dr. Rolf Drechsler, Prof. Dr. Jan Pelseska



ARCHIV LETZTER JAHRE:
04.12.2008
Assisting Software Developers to Implement Hardware Solutions
05.11.2008
Reversible and Quantum Circuits - Synthesis and Verification Challenges
24.04.2008
GirlsDay 08
06.02.2008
Computer für die Bahnsteuerung: Wie sicher sind die Systeme von morgen
19.07.2007
Protocol Transducer Synthesis using Divide and Conquer Approach
09.07.2007
4. Naturwissenschaftlich-technisches Schnupperstudium
02.05.2007
Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen
26.04.2007
GirlsDay 07
06.02.2007
Gemeinsamer Workshop RA:GS!/GESy
29.01.2007
Bremer Studienpreis 2006
13.01.2007
Radiosendung: Sicherheit für Winzlinge
19.09.2006
Interview Rolf Drechsler und Sebastian Kinder zum Thema "Eingebettete Systeme"
14.07.2006
Nacht der Informatik
11.07.2006
3. Naturwissenschaftlich-technisches Schnupperstudium
11.07.2006
Projection based synthesis techniques
17.05.2006
ISI - Informationstag für Studieninteressierte
10.05.2006
„SystemC for Fun and Profit: Systematischer Entwurf eingebetteter Systeme mit Transaction-Level-Modeling“
02.05.2006
SAT-basierte Diagnose für formale Eigenschaften
27.04.2006
GirlsDay 06
01.02.2006
„Formale Verifikation von System-on-Chip-Entwürfen“
05.12.2005
Besuch und Kolloquium "Minimization Techniques for Reversible Logic Synthesis"
10.06.2005
2-SPP networks: Synthesis and Testing
14.02.2005
Design Rewiring Using ATPG
17.12.2004
Taylor Expansion Diagrams - Application in Verification and Synthesis
26.05.2004
Testen digitaler Chips mit eingebetteten Speichern
12.05.2004
Optimierende Übersetzer:
Vertrauen ist gut, Verfikation ist besser!

21.04.2004
DPLL-based Procedure for Equality Logic with Uninterpreted Functions
20.04.2004
GirlsDay 04



Lesezeichen setzen
English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt