Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Service
Contact




Home « Service « Events

Here is a listing of events related to the Group for Computer Architecture.

In case you want to contribute to this list,
please contact Lisa Jungmann.



THIS YEAR
At 02.12.2009 | Colloquia
Topic:   Code-Erzeugung für sicherheitskritische Realzeit-Systeme
Speaker: Dr. Heiko Falk
Contact person: Prof. Dr. Rolf Drechsler


At 26.10.2009 | Colloquia
Topic:  
Speaker: Masahiro Fujita and Amir Gharehbaghi
Rotunde
Cartesium
Contact person: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


At 30.07.2009 | Round about this Group
Topic:   On this year’s DAC, Rolf Drechsler is organizing a special session about debugging
Moscone Center
San Francisco, CA
Contact person: Prof. Dr. Rolf Drechsler


At 30.06.2009 | Round about this Group
Topic:   Schnupperstudium
MZH 3420
Contact person: Lisa Jungmann


At 30.06.2009 | Dissertation
Topic:   Verification of Finite-Precision (Bit-Vector) Arithmetic using Finite Integer Algebras
Speaker: Prof. Priyank Kalla
Rotunde, Cartesium
Contact person: Prof. Dr. Rolf Drechsler


At 23.06.2009 | Dissertation
Topic:   A Formal Approach for Debugging Arithmetic Circuits
Speaker: Masahiro Fujita
Rotunde, Cartesium
Contact person: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


At 29.05.2009 | Dissertation
Topic:   Signature-Based Testing for Digitally-Assisted Adaptive Equalizers in High-Speed Serial Links
Speaker: Satoshi Komatsu
MZH 8090
Contact person: Dr. Görschwin Fey, Prof. Dr. Rolf Drechsler


At 23.04.2009 | Round about this Group
Topic:   GirlsDay 09
Seminarraum, MZH
Contact person: Lisa Jungmann


At 15.02.2009 | This&That
Topic:   TuZ Workshop 2009
Olbers Saal
Haus der Wissenschaft
Contact person: Prof. Dr. Rolf Drechsler


At 15.01.2009 | Round about this Group
Topic:   RA:GS!/GESy - Gemeinsamer Workshop von Universität Bremen und Siemens
MZH 8090, Uni Bremen
Contact person: Prof. Dr. Rolf Drechsler, Prof. Dr. Jan Pelseska



LAST YEARS:
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
Common Workshop RA:GS!/GESy
29.01.2007
Bremer Studienpreis 2006
13.01.2007
Radiosendung: Sicherheit für Winzlinge
19.09.2006
Interview Rolf Drechsler and Sebastian Kinder "Embedded Systems"
14.07.2006
Night of Computer Science
11.07.2006
3. Naturwissenschaftlich-technisches Schnupperstudium
11.07.2006
Projection based synthesis techniques
17.05.2006
ISI
10.05.2006
„SystemC for Fun and Profit: Systematischer Entwurf eingebetteter Systeme mit Transaction-Level-Modeling“
02.05.2006
SAT-based Diagnosis of Formal Properties
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 Netzwerke: Synthese und Testen
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



Add to Favorites
Deutsch









Sitemap Kontakt