FACULTY OF ELECTRICAL ENGINEERING AND INFORMATICS
OF
THE UNIVERSITY OF TECHNOLOGY KOŠICE
Programme of
FIFTH INTERNATIONAL
SCIENTIFIC CONFERENCE
ELECTRONIC
COMPUTERS and INFORMATICS 2002
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
SWH Siemens Košice, INTAS s.r.o. Košice, ZTS VVÚ
Košice a.s.,
RASAX s.r.o. Košice, Novitech a.s. Košice
October
10-11, 2002
Košice
– Herľany
Slovakia
Introduction
ECI 2002 conference is the
fifth 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 SWH Siemens Košice,
INTAS s.r.o. Košice, ZTS VVÚ Košice a.s., RASAX s.r.o. Košice and Novitech 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
Specification and Advanced Languages
B.
Computer Systems Architecture
C. Modeling
and Simulation & Information Systems / Networks &
Computer
Graphics
So
welcome to Herľany and to ECI’2002.
Milan
Jelšina
Š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.
General
chair: M. Jelšina, Head of the DCI
E – mail: jelsinam@tuke.sk
Programme chairs: Š. Hudák (hudak@tuke.sk)
J. Kollár (kollarj@tuke.sk)
Organization Committee:
J.
Bača - chairperson
D. Mihályi
K. Repková
D. Sobotová – secretary
M. Šujanský
P. Václavík
Contact address:
Katedra počítačov a informatiky, FEI TU Košice, Letná 9, 040
01 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 4179
E-mail:
bacaj@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:
October 10-11 (Th-Fri) 2002
Venue: Herľany
Address: UVZ Herľany
Phone: ++421-55-6964 125
Secretariat:
Conference
secretariat: Department of Computers and Informatics
Address: Letná 9, 040 01 Košice,
Phone: ++421-55-602 2562
Dagmar Sobotová, E-mail:
Dagmar.Sobotova@tuke.sk
During the conference time:
Address: UVZ
Herľany
Phone: ++421-55-6964 125
Dagmar Sobotová
Official Language:
The
official language of the conference will be English.
Registration:
Registration
will be made on Thursday 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 place (please, inform us
before).
Session Schedule:
Thursday, October 10, 2002
11:00-11:30
Opening
Š. Hudák - Programme chair
Invited Talks
12:00 Lunch
Section: FORMAL SPECIFICATION AND ADVANCED LANGUAGES
Chair person: Š. Hudák
14:00 - 15:20
1. G. E.
Tseytlin: Algebraic Algorithmics: Theory and Applications.
2. J.
Klečáková: Grammar with incomplete rules for cross process transferabi.
3. P. Šaloun:
Parallel LR Parsing.
4. Š. Hudák, S.
Šimoňák: Using Petri Nets and Process Algebra in FDT Interfacing.
15:20 - 15:40 Coffee
break
15:40 - 16:40
5.
V.
Novitzká:
Computer Programming and Mathematics .
6.
J.
Vlček, Z. Votruba:
On Hybrid System Tasks.
7.
V.
Y. Vinnik: On
Formal Models of Pattern Matching.
16:40 - 17:00 Coffee
break
Chair
person: V. Novitzká
17:00 - 18:20
8.
M.
Laclavík, L. Hluchý:
Agents as Key Elements for Information Security and Privacy.
9.
M.
Tomášek: Model
of Communication and Mobility in Distributed Systems.
10.
F.
Zbořil:
Simulation Languages for Agent Systems.
11.
B.
Sobota, M. Straka: Visualising
Kernel of Virtual Reality System and its Rendering Part
Section: COMPUTER SYSTEMS ARCHITECTURE
Chair person: J. Kollár
14:00 - 15:20
1. I. Plander: New Switching Networks for Parallel
Computer Systems and Very High-speed Distributed Computing Networks.
2. M. Jelšina, M. Dzuriak: Data Token Queue of Dataflow
System Architecture.
3. Z. Kotásek, D. Mika, J. Strnadel, F.
Zbořil: The
Identification of Feedback Loops in RTL.
4. B. Sivák, V. Siládi, J. Kolenička: A Special Evaluation of Ordered
Sets and the Optimal Parallel.
15:20
- 15:40 Coffee
break
15:40
- 16:40
5. V. Fábera, V. Jáneš: JTAG Communicator Software.
6. V. Jáneš, V. Fábera: The Modelling of the
Microprogrammable Control System.
7. Z. Kotásek, D. Mika, J. Strnadel: Test Controller Design Based on
VHDL Source File Analysis
16:40
– 17:00 Coffee
break
Chair
person: V. Jáneš
17:00
- 18:00
8. H. Kubátová:
DTRE – Digital Testing and Reliability Education Tool.
9. E. Mang, I.
Mang, C. Popescu: VLSI Implementation of the Rijndael Cipher.
10. E. Mang, I.
Mang, C. Popescu: Analysis of Some Attacks against Reduced Variants of the
Rijndael.
Section:
MODELING AND SIMULATION & INFORMATION SYSTEMS
/ NETWORKS & COMPUTER GRAPHICS
Chair
person: J. Kunovský
14:00
- 15:20
1.
M.
Alexík: Hardware
in Loop Simulation Usage for Control Algorithms Verification.
2.
J.
Douša: Thread
Oriented Discrete Event Simulation System.
3.
F.Huňka:
Combination of
Hierarchical and Partitional Clustering Using Object Oriented Perspective.
4.
M.
Grofčík: Simulation
of the Raytracing Problem on the Data Flow System.
15:20
- 15:40 Coffee
break
15:40
- 16:40
5. S. I.
Yaremchuk, L. V. Ruduyk: Practical Solution of the Problem of Rectangular
-Physical Field Sources Arrangement in Rectangle.
6. D. Zmaranda:
Predictable
Real-Time Control Systems Design Using The Cyclic Approach and PLCs.
7. M. Kalika: Conflict Analysis at System
Integration.
16:40
- 17:00 Coffee
break
Chair
person: F. Zbořil
17:00
- 18:20
8.
J.
Kunovský, J. Petřek, D. Řezáč:
TKSL/C and Multiple Aritmetic.
9.
J.
Kunovský, J. Honzík:
Definite Integrals in TKSL, Maple and Matlab.
10. František
Jakab, Ladislav Samuelis: Some remarks to the implementation of the „Cisco
Networking Academy Program“ initiative into the Syllabi at Selected Colleges
and Universities in Slovakia.
11. Petr
Šaloun, Miroslav Beneš: Distance Learning Support Server
General Session - Presentation of Sponsors
18:30-19:00
19:00 Dinner
& Welcome Party
Friday, October 11, 2002
8:00 Breakfast
Section:
FORMAL SPECIFICATION AND ADVANCED
LANGUAGES
Chair
person: L.
Hluchý
9:00-10:20
1. J. Kollár:
Imperative Expressions using Implicit Environments.
2. P. Václavík,
J. Porubän: Object Oriented Approach in Process Functional Language.
3. M. Vidiščak:
Distributed Programming in PFL using MPI.
4. J. Kačer, S.
Racek: A Method of Java Concurrent Programs Debugging.
10:20-10:40 Coffee
break
Chair
person: J. Kollár
10:40-12:00
5. M. Čermák,
V. Skála: Space Subdivision for Fast Polygonization of Implicit Surfaces.
6. M. Zadravec,
B. Žalik, D. Podgorelec: An Algorithm for Constructing Geometric Buffers of
Simple Polygons.
7. D.
Podgorelec, G. Klajnšek, B. Žalik: PC-based Volume Renderer by Using
Visible Voxel List.
8. Ľ. Jánošíková, M. Končelík: Digital Terrain
Modelling.
Section:
COMPUTER SYSTEMS ARCHITECTURES
Chair
person: H. Kubátová
9:00 -
10:20
1. D. E. Popescu, C. Popescu, C. Berce: The
Cache Coherency Implementation In A Multiprocessor System.
2. D. E.
Popescu, C. Popescu, B. Marius: Some Comparative Aspects about the Logic
Simulation of Digital Circuits.
3. J. Rovner:
Component Fault Tolerant Systems in Partitionable Environment.
4. R. Růžička:
VHDL Circuit Description Transparency Analysis.
10:20-10:40 Coffee
break
Chair
person: F. Zbořil
10:40-12.00
5. L. Lórencz: Modified
Ordinary Modular Inverse.
6. J. Strnadel:
Normalized Testability Measures Based on RTL Digital Circuit Graph Model
Analysis.
7. M. Šimka, V.
Fisher: Montgomery Multiplication Coprocessor for Altera NIOS Embedded
Processor.
8. C. A.
Győrödi, R. S. Győrödi: Designing and Validating New Curricula Employing
Data Mining Techniques.
Section:
MODELING AND SIMULATION & INFORMATION
SYSTEMS / NETWORKS & COMPUTER
GRAPHICS
Chair
person: M. Alexík
9:00 -
10:20
1. H. Ahmed, L. Hudec: Host Based Role Based Network
Security Model.
2. A. V. Vdovichenko: The Features of Intellectualized
Search Systems: Classification and Contrast RU–UA Searching Systems.
3. V. Dynda, P. Rydlo: P2P Large-Scale File System
Architecture.
4. P. Matej: Common problems in client to
gateway VPN solutions.
10:20-10:40 Coffee
break
Chair
person: J. Douša
10:40-12:00
5. M. Šujanský, Ľ. Fašianok: Solution of Data Integrity on
Level Information Systems.
6. T. Sysala, J. Janeček: Java - CORBA Middleware
Communication Properties and Optimizing.
7. O. Habala, B. Šimo, J. Astaloš, L.
Hluchý: Virtual
Organization for Flood Crisis Team Support.
8. G. Gabor: Reliability
Considerations on the Control System of a Geothermal Power Plant.
13:00 Lunch
Social Program
Welcome Party
Date time: Thursday, October 10, 2002,
19:00 pm
Venue: Recreation Center of TU
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, accomodation from October 10th
to October 11th, 2002, common 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: 2200,-
Sk 55,- EUR
Conference proceedings: 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 one night
accommodation 10th–11th October in Herľany is included in
the conference fee. Additional accommodation is available in the KOSMALT hotel,
which is located on the tr. SNP 61, before and after the conference according
to your request (in the registration form). The payment for the additional
accommodation is not included in the conference fee and it should be paid upon
checking in the hotel. This hotel can be reached from both the railway and bus
station of Košice by the tram No 6 (tramstop in front of the stations′
buildings) to the tramstop ″Kino Družba″ on the tr. SNP street. The
tramstop ″Kino Družba″is the tenth tramstop counted from the
station tramstop. The fee for one night is 360,- Sk for single room and the fee
for double or triple room is 180,- Sk (payment at the place of accommodation).
The main building of the Technical University is on the distance of two
tramstops (any tram) from the KOSMALT hotel, tramstop ″Staré
mesto-Amfiteáter″. The distance
from the tramstop to the
university building is approximately 250 m.
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 Thursday, October 10th , 2002 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 Tecchnical University).