Detail výsledku

Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

VOJNAR, T.; ANTOŠ, D.; ČEŠKA, M.; KOTÁSEK, Z.; KŘETÍNSKÝ, M.; MATYSKA, L. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. 286 p. ISBN: 978-80-7355-082-0.
Typ
konferenční sborník (ne stať)
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Antoš David, Mgr.
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Křetínský Mojmír, prof. RNDr., CSc.
Matyska Luděk
Abstrakt

The International Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science 2008 (MEMICS'08) is the fourth in the row of three day workshops organised in South Moravia by Brno University of Technology and Masaryk University through their Faculty of Information Technology and Faculty of Informatics. This year, MEMICS is held in Znojmo, Czech Republic, on 14--16 November 2008. The MEMICS workshops are intended to provide an opportunity for PhD students to present and discuss their work in an international environment. The workshop was established by the above mentioned two faculties within the project Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems financially supported  by the Czech Science Foundation. All the areas of computer science covered by MEMICS share a common ground---their relationship to parallel or distributed systems, both in theory as well as applications.

Klíčová slova

Workshop, proceedings, parallel and distributed computing, GRID computing, computer networks and applications, computer security, theoretical foundations of computer science, formal verification, simulation, software and hardware testing and dependability, computer architectures, and quantum computing.

Rok
2008
Strany
286
Konference
MEMICS'08 -- 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-082-0
Vydavatel
Faculty of Informatics MU
Místo
Brno
BibTeX 
@proceedings{BUT65310,
  editor="Tomáš {Vojnar} and David {Antoš} and Milan {Češka} and Zdeněk {Kotásek} and Mojmír {Křetínský} and Luděk {Matyska}",
  title="Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2008",
  pages="286",
  publisher="Faculty of Informatics MU",
  address="Brno",
  isbn="978-80-7355-082-0"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Fakulta informačních technologií (FIT)
Ústav inteligentních systémů (UITS)
Ústav počítačových systémů (UPSY)
Nahoru