Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Service
Contact




Here is a listing of events related to the Group for Computer Architecture. In case you want to contribute to this list, please contact the secretary.


THIS YEAR
At 04.12.2008
Topic:   Assisting Software Developers to Implement Hardware Solutions
Dissertation
Raum 3510
MZH

Lecturer: Dr. Kenneth Kent
Contact person: Prof. Dr. Rolf Drechsler


At 05.11.2008
Topic:   Reversible and Quantum Circuits - Synthesis and Verification Challenges
Dissertation
Rotunde
Cartesium

Lecturer: Prof. Dr. Michael Miller
Contact person: Prof. Dr. Rolf Drechsler


At 24.04.2008
Topic:   GirlsDay 08
Round about this Group
Seminarraum, MZH
Bremen, Uni Bremen

Contact person: Lisa Teuber


At 06.02.2008
Topic:   Computer für die Bahnsteuerung: Wie sicher sind die Systeme von morgen
Round about this Group

MZH 8090, Uni Bremen

Contact person: Prof. Dr. Rolf Drechsler, Prof. Dr. Jan Pelseska



LAST YEARS:
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



Printer-Friendly Version
Add to Favorites
Deutsch









Sitemap Kontakt