Research projects

            General areas of faculty research interests are listed in the section "Faculty Essays". A list of basic technical reports issued during the period January - December 1998 may be found section in "Publications". In the following sections are described only some specific projects and topics which faculty members are currently working on :

The DCI research is oriented to the following fields of computer science:

For more detailed overview, please refer to the description of DCI projects below.

 Development of high performance computing system for solving of virtual reality problems
 Methods and tools for design of distributed program systems
 Functional specification and implementation of real time systems
 Formal development methods of proved correct programs written in functional programming languages
 TER nets: time analysis of the real time systems
 Specialised Computing Environment on the Basis of Parallel Computer Systems with Dataflow Architecture
 

Title of the Project: Development of high performance computing system for solving of virtual reality problems

Funding : VEGA 1/5264/98
Duration: 1998-2000
Co-ordinator: Prof. Ing. Milan Jelšina, CSc.
Group members: Ing. Branislav Sobota, Ing. Martin Jánsky, Ing. Radovan Janošo, Ing. Drahomíra Babušíková
Research activity of the group is concentrated on:

Scientific goals/research targets:


Title of the Project: Methods and tools for design of distributed program systems

Funding : VEGA 1/5086/98
Duration: 1998-2000
Co-ordinator: Prof. Ing. Milan Krokavec, CSc.
Group members: Doc. Ing. Štefan Hudák, DrSc., Ing. Marek Andričík, Ing. Radovan Chytráček, Ing. Marek Paralič, Ing. Ondrej Ploščica, Ing. Martin Tomášek
Research activity of the group is concentrated on:

Scientific goals/research targets: Results Achieved:


Title of the Project: Functional specification and implementation of real time systems

Funding : VEGA 1/5265/98
Duration: 1998-2000
Co-ordinator: Doc. Ing. Ján Kollár, CSc.
Group members: Prof. Ing. Milan Krokavec, CSc., RNDr. Valéria Novitzká, CSc., Ing. Zdeněk Havlice, CSc., Ing. Peter Krahulík
Research activity of the group is concentrated on:

Scientific goals/research targets:


Title of the Project: Formal development methods of proved correct programs written in functional programming languages

Funding: VEGA 1/4010/97
Duration: 1997-1999
Co-ordinator: RNDr. Valéria Novitzká, CSc.
Group members: RNDr. Vojtech Novitzký, CSc.
Research activity of the group is concentrated on:

Scientific goals/research targets:


Title of the Project: TER nets: time analysis of the real time systems

Funding : 1/3208/96
Collaboration with: Politecnico di Milano, Italy; Tampere University of technology, Finland
Duration: 1996 - 1998
Co-ordinator: Doc. Ing. Štefan Hudák,DrSc.
Group members: Doc. RNDr. Ján Plávka, CSc., Doc. Ing. Ján Bača, CSc., Ing. Ján Ábel, Ing. Ján Genči, Ing. Kostas Teliopoulos, Ing. Ján Švarc, Ing. Peter Knieža
Research activity of the group is concentrated on:

Scientific goals/research targets: Results Achieved:


Title of the Project: Specialised Computing Environment on the Basis of Parallel Computer Systems with the Dataflow Architecture.

Funding : 1/5240/98
Duration: 1998 - 2000
Co-ordinator: Prof. Ing. Milan Jelšina, CSc.
Group members: Doc. Ing. Ján Kollár, CSc., Doc. Ing. Ján Bača, CSc., Ing. Igor Sivý, CSc., Ing. Liberios Vokorokos, Ing. František Jakab, Ing. Vasiž Vančík, Ing. Marek Legnavský, Ing. źubomír Chlebovec
Research activity of the group is concentrated on:

Scientific goals/research targets: