| Stýeda 24.9.2003 | |
| Registrace £Ÿastn¡k… | 13:00 |
| Zah jen¡ | 14:45 |
| Logarithmic number system and floating-point arithmetics on FPGA | 15:00 |
| ZdenØk Pohl (2. roŸn¡k), çkolitel: J. Kadlec, oponent: H. Kub tov | |
| Dynamic reconfiguration of FPGAs: A case study | 15:40 |
| Rudolf Matouçek (3. roŸn¡k), çkolitel: H. Kub tov , oponent: R. L¢rencz | |
| Analìza a zlepçen¡ testovatelnosti RTL Ÿ¡slicov‚ho obvodu | 16:10 |
| Josef Strnadel (3. roŸn¡k), çkolitel: Z. Kot sek, oponent: E. Gramatov | |
| UplatnØn¡ form ln¡ch postup… pýi n vrhu ýadiŸe testu Ÿ¡slicov‚ho obvodu | 16:50 |
| Daniel Mika (2. roŸn¡k), çkolitel: Z. Kot sek, oponent: E. Gramatov | |
| Vych zka | 17:45 |
| VeŸeýe | 19:30 |
| ¬tvrtek 25.9.2003 | |
| Sn¡danØ | 8:00 |
| Vy§ danì pý¡spØvek: Embedded Systems Specifications Reuse by a Case Based Reasoning Approach | 8:30 |
| Miroslav æv‚da (FIT VUT Brno) | |
| Metodika pro pýipojov n¡ numerickìch akceler tor… kÿnadýazenìm syst‚m…m | 9:30 |
| Jiý¡ BuŸek (1. roŸn¡k), çkolitel: R. L¢rencz, oponent: V. Dvoý k | |
| Pýest vka | 10:00 |
| Dual-thread CPU platform | 10:10 |
| Michal J chim (2. roŸn¡k), çkolitel: J. Schmidt, oponent: V. Dvoý k | |
| Integrated iterative approach to FPGA placement | 10:50 |
| Martin DanØk (3.roŸn¡k), çkolitel: J. Kol ý, R. Smith, oponent: J. Schwarz | |
| Lossless real time parameter extraction of MOS-FET DC characteristic | 11:30 |
| Tom ç Zahradnickì (1. roŸn¡k), çkolitel: R. L¢rencz, oponent: J. Schwarz | |
| Komprese testovac¡ch vektor… pomoc¡ programu COMPAS | 12:00 |
| Jiý¡ Zahr dka (1. roŸn¡k), çkolitel: O. Nov k | |
| ObØd | 12:30 |
| Nov‚ metody vyu§it¡ techniky hraniŸn¡ho sn¡m n¡ | 14:00 |
| Pavel Tupec (1. roŸn¡k), çkolitel: Z. Kot sek, oponent: O. Nov k | |
| The iterative boolean minimizer FC-MIN | 14:30 |
| Petr Fiçer (3. roŸn¡k), çkolitel: H. Kub tov , oponent: O. Nov k | |
| Pýest vka | 15:10 |
| Panelov diskuze: Doktorem za týi roky | 15:30 |
| Richard R…§iŸka, Luk ç Sekanina | |
| Vìlet - Hrad Zv¡kov | 17:30 |
| VeŸeýe | 19:30 |
| P tek 26.9.2003 | |
| Sn¡danØ | 8:00 |
| Vyu§it¡ metod strukturovan‚ho n vrhu pýi aplikaci testu navz jem propojenìch komponent | 9:00 |
| Hynek Urbiç (1. roŸn¡k), çkolitel: Z. Kot sek, oponent: E. Gramatov | |
| Modelov n¡ a predikce vìkonnosti aplikaŸnØ specifickìch multiproceso-rovìch syst‚m… | 9:30 |
| Vladim¡r Kut lek (2. roŸn¡k), çkolitel: V. Dvoý k, oponent: J. Kadlec | |
| Pýest vka | 10:10 |
| Using assumptions to distribute model checking | 10:20 |
| Jitka ¦¡dkov (3. roŸn¡k), çkolitel: L. Brim, oponent: M. æv‚da | |
| Nov‚ metody komprese | 11:00 |
| LudØk Crha (1. roŸn¡k), çkolitel: V. Dr bek, oponent: J. Kadlec | |
| Z vØr, pýed n¡ cen | 11:30 |
| ObØd | 12:00 |