Programme

Tuesday, May 21	13:30	ESW opening
		Dependability
		Hierarchical Dependability Models Based on Markov Chains	M. Kohlík
		Self-Repair Modified Duplex System Architecture based on Reconfigurations	J. Borecký, P. Vít
		Theory
		XOR and Equivalence operators in Non-Exact Concept Learning	H. Rosensweig
	15:30	Coffee break
	16:00	Applications
		Applications of digital systems	P. Mróz, A. Pławiak-Mowna, W. Zając
		New Approaches to a Connection of Memory Consistency and Cache Coherence	J. Kašpar
		Hardware Support For Precise Time and Frequency Distribution	J. Dostál
		Faults in FPGA
		FPGA bitstream SEU effect emulation and evaluation	J. Kvasnička
		A New Method of Modeling Radiation-Induced Soft Errors in FPGA by Architecture Analysis	J. Pospíšil, T. Vaňát
	18:30	Dinner
	20:00	PC meeting
Wednesday, May 22	8:00	Breakfast
	9:00	Networking
		Real-time Network Measurement for High-Speed Networks	P. Benáček
		Real-time Detection of Anomalies in High-speed Computer Networks	T. Čejka
		The Behavior Network (BeNet)	J. Šlechta
		Testing
		Test Pattern Decompression in Parallel Scan Chain Architecture	M. Chloupek
	12:00	Lunch
	13:30	Closing discussion