FACULTY OF ELECTRICAL ENGINEERING AND INFORMATICS

OF

THE UNIVERSITY OF TECHNOLOGY KOŠICE

 

 

SIXTH INTERNATIONAL SCIENTIFIC CONFERENCE

 

 

ELECTRONIC

COMPUTERS and INFORMATICS ECI '2004

 

The conference is organized by

 

The Department of Computers and Informatics

 

under the auspices of

 

The Czech and Slovak Society for Simulation, (CSSS)

The Slovak Society for Applied Cybernetics and Informatics (SSAKI)

 

in the cooperation and sponsoring of

 

SIEMENS Program & System Engineering s.r.o., Bratislava

Ing. Milan Roško, TEGH, Information Technology Dep. Toronto, Kanada

ZTS Výskumno-vývojový ústav a.s., Košice

 

 

 

September 22-24, 2004

Košice – Herľany

Slovakia

Introduction

 

ECI 2004 conference is the sixth event under the logo ECI, held in Košice – Herľany and is organized by the Department of Computers and Informatics of the Faculty of Electrical Engineering and Informatics. The conference is being organized as the international scientific conference under the auspices of the Czech and Slovak Society for Simulation and the Slovak Society for Applied Cybernetics and Informatics in cooperation and with sponsorship of the SIEMENS Program & System Engineering s.r.o., Bratislava; Ing. Milan Roško, Toronto, Kanada and ZTS Výskumno-vývojový ústav a.s., Košice. The conference is aimed at providing the environment for fertilization new ideas, widespreading of the scientific results, establishing new professional contacts among the participants coming from academic and also from non academic institutions. Some space is devoted to problems pertaining educational issues at the university level. The paper submitted to Programme Committee passed through rewiewing process that was caried out by international team of experts that did excellent work in that respect. The present leaflet provides necessary information for participants to the conference on various aspects connected with the participation.

 

The conference topics that were announced in the call of papers have been merged and organized into the following 3 tracks:

A.       Formal Foundations of Programmable Systems and Information Technologies

         B. Architecture of Computer Systems and Networks

         C.  Modeling and Simulation of  Systems,  Computer Graphics and VR systems 

 

 

So welcome to Herľany and to ECI’2004.

 

                                                                                      Štefan Hudák

                                                                                      Ján Kollár

Conference Organization

          The Department of Computers and Informatics (DCI) is in the charge of organizing body of the conference.

Honorary Committee:   prof. Ing. Juraj Sinay, DrSc., chairman

Rector of the Technical university of Košice, SR

RNDr. Rudolf BAUER

President of the Košice Self-governing region

prof. Ing. Milan Jelšina, CSc.

DCI FEI TU Košice

 

General chair:               doc. Ing. Dušan Kocur, CSc., dean of FEI TU Košice

           

Programme chairs:       prof. Ing. Štefan Hudák, DrSc.

                                       doc. Ing. Ján Kollár, CSc.

 

Organization Committee: doc. Ing. Ján Bača, CSc. - chair

                                          Š. Korečko                     D. Sobotová – secretary

                                          D. Mihályi                     M. Straka

                                          M. Paralič                     S. Šimoňák

                      J. Porubän

 

Contact address:

Katedra počítačov a informatiky, FEI TU Košice, Letná 9, 042 00 Košice  

 

E-mail: Stefan.Hudak@tuke.sk (Programme Chair)

tel: ++421-55-602 2525

E-mail: Jan.Kollar@tuke.sk (Programme Chair)

tel: ++421-55-602 2577

E-mail: Jan.Baca@tuke.sk (Organizing Chair)

tel: ++421-55-602 2573

 

 

Conference Information

          The conference is periodically organized by the Faculty of Electrical Engineering and Informatics of the University of Technology Košice.

          The main aim of the conference is to provide the possibility to the authors from the academic and non academic institutions of Slovakia and from abroad to present the results of the research conducted in the institutions in the field of Computers and Informatics.

 

Period and Venue

          Period: September 22-24 (We-Fri) 2004

          Venue: Herľany

          Address: UVZ Herľany

          Phone: ++421-55-6964 125

 

Secretariat:

          Conference secretariat: Department of Computers and Informatics

          Address: Letná 9, 042 00 Košice,

          Phone: ++421-55-602 2562

          Ing. Dagmar Sobotová, E-mail: Dagmar.Sobotova@tuke.sk

 

During the conference time:

          Address: UVZ Herľany

          Phone: ++421-55-6964 125

          Ing. Dagmar Sobotová

 

Official Language:

          The official language of the conference will be English.

 

Registration:

          Registration will be made on Wednesday from 7:00-9:00 am on the fifth floor of the main building of the Technical University at the Department of Computers and Informatics. The participants, which will travel to the conference place individually, can register themselves directly at the conference place in Herľany (please, inform us before).

 

Conference Schedule: 

 

Wednesday, September 22, 2004

7:00-9:00                                                      Registration at DCI FEI TU Košice

 

9:00                                                             Departure to Herľany

 

10:00 - 11:00                                                Accommodation

 

11:00-12:00                                                                                   Opening                                     

Opening Address - General Chair

1. Invited Talk: Algebra - Algorithmic Foundations of Programming:

    Prof. G. E. TSEYTLIN, Kiew, Ukraine

 

12:30                                                                     Lunch         

Wednesday, September 22, 2004

 

Track A:   Formal Foundations of Programmable Systems and Information Technologies 

Section:      IT - Information technologies: database and information systems

 

14:00 - 15:20

 

1. Zdeněk Havlice, Vladimír Chladný: Inheritance, Templates and Dependences in RAD Process

2. Phylyp Andon, Valentin Deretsky: Control Oriented Ontology and Process Description for Cooperation Agents in Information Retrieval

3. Rastislav Antalík, Ján Bača: Mathematical Operations for Asymmetric Encryption Algorithms

4. Robert S. Győrödi, Cornelia A. Győrödi: Mining Association Rules in Frequently Updated Databases Using Dynamic FP-Trees

 

15:20 - 15:40                                                          Coffee break

 

15:40 - 16:40

 

5.     Roman Mouček: Semantics in Computer Dialogue Systems

6.     Miroslav Kliment, Jan Majoroš: Software development trends in medical domain

7.     Zdeněk Havlice, Vladimír Chladný, Marek Paralič: Configurable Software Technology and Agent-Based Distributed Systems

 

16:40 - 17:00                                                          Coffee break

 

17:00 - 18:00

 

8.     Petr Štengl,  Ivan Jelínek: Adaptive Hypermedia for Education

9.     Zdeněk Votruba, Mirko Novák, Jaroslav Veselý: An Example of Interface Irregularities Conjugation

 

 

General Session 

 

18:00-18:30                                                  Presentation of Sponsors

 

19:00                                                                     Dinner & Welcome Party

 

Wednesday, September 22, 2004

 

Track B:  Architecture of Computer Systems and Networks

Section:      CA - Computer systems architectures

 

14:00 - 15:20

 

1. Richard Růžička, Lukáš Sekanina: A Platform for Demonstration of Analogue and Digital Circuits Evolution

2. Vít Fábera: Optimalization of internal state encoding with genetic algorithm

3. Tomáš Zahradnický, Róbert Lórencz: Numerically Stable SPICE MOSFET Model Parameter Extraction

4. Stanislav Racek, Pavel Čírtek: A model of highly dependable control application based on time triggered protocol 

 

15:20 - 15:40                                                          Coffee break

 

15:40 - 16:40

 

5. Bohuslav Sivák, Vladimír Siládi, Ján Kolenička: Genetic Algorithms and Optimization of Microprogram Automata

6. Robert Smyk, Zenon Ulman: Computation of the Convolution with Use of the Polynomial Residue Number System

7. Pavel Kubalík, Hana Kubátová: On-line Testing for FPGA

 

16:40 – 17:00                                                         Coffee break

 

17:00 - 18:00

 

8. Petr Fišer, Hana Kubátová: Pseudorandom Testability – Study of the Effect of the Generator Type

9. Michal Kuneš, Hana Kubátová, Martin Daněk: Partitioning Problem in HW/SW Codesign

10. Czyzak Maciej: High-Speed Residue-to-Binary Converter Based on the Chinese Remainder Theorem

 

 

General Session 

 

18:00-18:30                                                  Presentation of Sponsors

 

19:00                                                                     Dinner & Welcome Party

Wednesday, September 22, 2004

 

Track C:  Modeling and Simulation of  Systems,  Computer Graphics and VR systems

Section:      M - Modeling and simulation of the systems

 

14:00 - 15:20

 

1. Stanislav Korbel, Vlastimil Jáneš: Complete Design Environment for Microcode Development and Debugging with AVR Microcontrollers (MICoSS)

2. Jiří Douša, Jiří Ulrich: Parallel strategies and simulation

3. Jan Klír, Jiří Šafařík: Variable Resolution Modeling in Interactive Parallel Discrete Event Simulation

4. Milan Stork: Simulation of the Sigma-Delta Voltage to Frequency Converter

 

15:20 - 15:40                                                          Coffee break

 

15:40 - 16:40                                                                            

 

5. Ladislav Halada, Peter Weisenpacher: 2D Forest Fire Spread Models and their Simulation

6. Jarmila Škrinárová: Neural Network for Support of Robot Force Control

7. František Huňka: Synchronization Abstraction in Simulation Framework

 

16:40 - 17:00                                                          Coffee break

 

17:00 - 18:00                                                                            

 

8.   Jaroslav Kačer: Testing Java Software for Embedded Devices Using J-Sim and Serialization of Threads

9.   František Zbořil jr.,   František Zbořil: Building of multiagent models

10. Dominik Pospíšil, František Zbořil: Building Triangle Strips Using Hopfield Neural Network

 

 

General Session 

 

18:00-18:30                                                  Presentation of Sponsors

 

19:00                                                                     Dinner & Welcome Party

Thursday, September 23, 2004

 

8:00                                                                       Breakfast

 

9:00-10:00

2. Invited Talk: Contemporary approach to modeling and design of complex HW-SW implemented digital devices:

Prof. N. Frištacky, Bratislava, Slovak Republic  

 

10:00-10:20                                                            Coffee break

 

Track A:   Formal Foundations of Programmable Systems and Information Technologies 

Section:    A - Algorithms and formal systems

 

10:20-12:00 

 

1. Octavian P. Rotaru, Marian Dobre, Mircea Petrescu: A Framework for Implementing Vendor-Independent Database Applications

2. Jan Antoš: Finite Automata And Backward Pattern Matching

3. Jiří Kunovský, David Řezáč, Petr Tomica: Non-autonomous example of stiff system

4. Alina Bogan-Marta, Robert Győrödi, Cornelia Győrödi: Implications of syntactic and semantic categories of grammars on a speech recognition tool

5. Milan Stork: Some Adaptive Linear and Nonlinear 1D filters

 

12:30                                                                     Lunch

 

Section: F - Formal specification of systems: process algebras, B AMN, temporal logic etc. 

 

14:00 - 15:20

 

6. Slavomír Šimoňák, Štefan Hudák: ACP2PETRI – a tool for formal method transformations

7. Štefan Korečko, Štefan Hudák: Implementing Petri nets via B-Method

8. Ján Bača, Juraj Giertl: Decomposition of Logical Systems Described by Algebraic Expressions

9. Norbert Frištacký :  A  formal  description  of  digital  systems  inter-module communications

 

15:20 - 15:40                                                          Coffee break

 

Section: PL - Programming languages: design, semantics

 

15:40 - 16:40                                                                            

 

10. Ján Kollár: Advising via Type Definitions

11. Jozef Stašák: A Contribution to Semantic Text Analysis

12. Jaroslav Porubän, Peter Václavík: Process functional program profiling

 

16:40 - 17:00                                                          Coffee break

 

17:00 - 18:00                                                                            

 

13. Peter Václavík, Jaroslav Porubän: Process functional language compiler architecture

14. Zoltán Horváth, Tamás Kozsik: Teaching of Parallel and Distributed Software Design

 

 

General Session

 

18:30                                                                     Dinner

 

 

Thursday, September 23, 2004

 

8:00                                                                       Breakfast

 

9:00-10:00

2. Invited Talk: Contemporary approach to modeling and design of complex HW-SW implemented digital devices:

Prof. N. Frištacky, Bratislava, Slovak Republic  

 

10:00-10:20                                                            Coffee break

 

Track B:  Architecture of Computer Systems and Networks

Section:    CA - Computer systems architectures

 

10:20-12.00

1. Zenon Ulman, Maciej Czyzak: RNS Reverse Converter Based on the New Chinese Remainder Theorem

2. Mircea Popa, Daniela Stanescu: A node for serial communications in microcontroller networks

3. Zdeněk Kotásek, Tomáš Pečenka, Josef Strnadel, Daniel Mika, Lukáš Sekanina: An Overview of Research Activities in Digital Circuit Diagnosis and Benchmarking

4. Attila Balga, Pavel Čičák, Peter Slížik, Ladislav Hluchý: Hybrid SkipNet - Reducing Maintenance Overhead in a SkipNet-like Routing Structure

5. Milan Jelšina, Milan Roško, Norbert Ádam: Multipipelined and multithreaded architectures approach - overview of dataflow architecture

 

12:30                                                                     Lunch

 

14:00 - 15:20

 

6. Martin Grofčík: Modular Architecture of the Dataflow Computing Environment

7. Jiří Ulrich, Jiří Douša: Virtual Processor for Event Oriented Optimistic Parallel Simulation

8. Monika Matušková, Josef Hlaváč, Jiří Buček, Róbert Lórencz.: RC5 Brute Force Cracking Engine

9. Daniela E. Popescu, Corneliu Popescu, Daniel Filipas: The Implementation of a MESI Cache Coherency State Machine for a Multiprocessor System

 

15:20 - 15:40                                                          Coffee break

 

Section:    N - Computer networks and services

 

15:40 - 16:40                                                                            

 

10. Martin Švihla,  Ivan Jelínek: Two Layer Mapping from Database to RDF

11. Ladislav Pešička: Utilization of mobile agents in computation grids

12. Doina Zmaranda: Practical Temporal Analysis for Real Time Programmable Controller Applications

 

16:40 - 17:00                                                          Coffee break

 

17:00 - 18:00                                                                            

 

13. Anton V. Zubenko: On architectures of dynamic coalition environments

14. Juraj Ďuďák: Matching Algorithms and Coloring Edge Algorithms for Three-Stage Clos Networks

15. Martin Tomášek: Applying Multi-Agent Environment to E-Commerce Solutions

 

 

General Session

18:30                                                                     Dinner

Thursday, September 23, 2004

 

8:00                                                                       Breakfast

 

9:00-10:00

2. Invited Talk: Contemporary approach to modeling and design of complex HW-SW implemented digital devices:

Prof. N. Frištacky, Bratislava, Slovak Republic  

 

10:00-10:20                                                            Coffee break

 

Track B:  Architecture of Computer Systems and Networks 

Section:      N - Computer networks and services  

 

10:20-12:00

 

1. Martin Šimek: Security threats in mobile agent systems

2. Jiří Patera, Jiří Šafařík: On Distributed Systems Debugging

3. Adam Morávek, Ivan Jelínek: Adding a Centralized Element to P2P Network to Provide More Relevant Search Results

4. Marián André, Anton Baláž, Michal Bronček, Ján Genči, Juraj Giertl, František Jakab, Róbert Jakab, Ľuboš Koščo, Juraj Sučík: Measurement of QoS parameters in IP networks

5. Milan Jelšina,  Stanislav Šuba, Miloš Dzuriak: Parallel Control Unit of the Data Flow Pipeline Processors

 

12:30                                                                     Lunch

 

Track C:  Modeling and Simulation of  Systems,  Computer Graphics and VR systems

Section:      G - Computer graphics and virtual reality systems  

 

14:00 - 15:20

 

6. Miroslav Bureš, Ivan Jelínek: Formal Description of the Adaptive Web System

7. Milan Frank, Václav Skala: .NET Interface for VTK

8. Jindřich Parus, Ivana Kolingerova: Morphing of Color Surfaces

9. Ivo Hanák, Václav Skala: OpenGL Interface for .NET

 

15:20 - 15:40                                                          Coffee break

 

 

 

15:40 - 16:40                                                                            

 

10. Tomáš Jirka,  Václav Skala: Stress Tensor Field Visualization

11. Tomáš Hlavatý, Václav Skala: A Topological Description of 2D Manifold Objects

12. Karel Uhlíř, Jan Patera, Václav Skala: Radial Basis Function Method for Iso-line Extraction

 

16:40 - 17:00                                                          Coffee break

 

17:00 - 18:00                                                                            

 

13. Petr Vaněček, Ivana Kolingerová: Weighted Multi-Path Algorithm for Triangle Strips

14. Radek Sviták, Václav Skala: Robust Surface Reconstruction from Orthogonal Slices

15.Marek Straka, Branislav Sobota: Interactive Rendering on Clusters in Virtual Reality System Proland

 

General Session

 

18:30                                                                     Dinner

 

 

 

 

Friday, September 24, 2004

 

7:00                                Breakfast

 

8:00                                Departure to High Tatras

                                     

10:00  - 16:00                   Tourist Trip

 

16:00                              Departure to Stará Lesná

 

17:00                              Farewell dinner in Stará Lesná

 

18:00                              Departure to Košice                                    

 

 

 

 

Social Programme

 

          Welcome Party

          Date time: Wednesday, September 23, 2004, 19:00 pm

          Venue: Recreation Center of TU

          Admission: All participants are invited

 

          Trip to High Tatras

          Date time: Friday, September 24, 2004, 8:00 am

          Venue: Štrbské Pleso

          Admission: All participants are invited

 

 

Registration

 

          Application for registration should be made by completing the registration form and returning it with proof of remmitance of the registration conference fee.    

 

 

Registration Fees

 

          The registration fee covers postage, complete stay in Herľany including food and coffee service during the conference, accommodation from September 22^th to September 24^th, 2004, common free transport by bus from Košice to Herľany and backward. The cost of the conference proceedings may be optionally included in the registration fee. The decision is up to the participant and should be marked in the registration form.

 

Registration fee      until 31.7.2004                 3 200,- Sk    80,- EUR

                             after 31.7.2004                3 400,- Sk    85,- EUR

Conference proceeding                                800,- Sk       25,- EUR

 

 

Confirmation and Receipt

 

          No confirmation or acknowledge message will be sent to the participants upon receipt and acceptance of the registration form.

 

 

 

 

 

Hotel and Travel information

 

Accommodation

 

          The two nights accommodation 22^th–24^th September in Herľany is included in the conference fee. Accommodation before and/or after the conference is avaitable in the ŠD (student dormitory) TU, according to your request, which should be marked in the registration form. The ŠD TU is located on the Boženy Němcovej street N^o1 (close to the main university building). The payment for the additional accommodation is not included in the conference fee and it should be paid upon checking in the ŠD TU. The fee for one night is 250,-Sk - 400,-Sk.

 

Travelling

 

          Since  the  Conference  is  going to  be  held in Herľany, the place which is in 30 km distance from Košice, the outside participants are reccommended to travel to Košice and to reach the main building of the Technical University, Letná 9. The departure of all participants from Košice to Herľany is supposed on Wednesday, September 22^th, 2004 at 9:00 am by the bus. The place of the departure is from the front of the main building of the Technical University, Letná 9.

          The main building of the Technical University can be reached from the railway and bus station of Košice by the tram No 2 (tramstop in front of the stations buildings) to the tramstop "Poliklinika Sever" on Komensky street (Komenského ul.),  or by the bus No 32 (busstop in front of the stations buildings) to the busstop ″Technická univerzita″ (next to the main building of the Technical University).