Search results
- 1.0339964 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Petrů, Lukáš - Wiedermann, Jiří
A Model of an Amorphous Computer and Its Communication Protocol.
SOFSEM 2007: Theory and Practice of Computer Science. Berlin: Springer, 2007 - (van Leeuwen, J.; Italiano, G.; van der Hoek, W.; Meinel, C.; Sack, H.; Plášil, F.), s. 446-455. Lecture Notes in Computer Science, 4362. ISBN 978-3-540-69506-6.
[SOFSEM 2007. Conference on Current Trends in Theory and Practice of Computer Science /33./. Harrachov (CZ), 20.01.2007-26.01.2007]
R&D Projects: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : amorphous computing * networks * communication protocols * random graphs * complexity
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0183322 - 2.0339936 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Kalibera, T. - Bulej, Lubomír - Tůma, P.
Quality Assurance in Performance: Evaluating Mono Benchmark Results.
Quality of Software Architectures and Software Quality. Berlin: Springer, 2005 - (Reussner, R.; Mayer, J.; Stafford, J.; Overhage, S.; Becker, S.; Schroeder, P.), s. 271-288. Lecture Notes in Computer Science, 3712. ISBN 3-540-29033-8.
[International Conference on Quality of Software Architectures /1./, International Workshop on Software Quality / 2./. Erfurt (DE), 20.09.2005-22.09.2005]
R&D Projects: GA ČR(CZ) GD201/05/H014
Grant - others:GA ČR(CZ) GA201/03/0911
Institutional research plan: CEZ:AV0Z10300504
Keywords : performance evaluation * regression benchmarking * statistical analysis
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0183304 - 3.0339931 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Dvořák, Jakub - Savický, Petr
Softening Splits in Decision Trees using Simulated Annealing.
Adaptive and Natural Computing Algorithms. Berlin: Springer, 2007 - (Beliczynski, B.; Dzielinski, A.; Iwanowski, M.; Ribeiro, B.), s. 721-729. Lecture Notes in Computer Science, 4431. ISBN 978-3-540-71589-4.
[ICANNGA'2007 /8./. Warsaw (PL), 11.04.2007-14.04.2007]
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : classification trees * soft splits * simulated annealing
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0183300 - 4.0334272 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
Kofroň, Jan - Poch, T. - Šerý, O.
Making Components Fit: SPINing.
[Komponenty ve formě: SPINing.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 65-74. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
R&D Projects: GA ČR(CZ) GD201/05/H014
Grant - others:GA ČR(CZ) GA201/06/0770
Program: GA
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179054 - 5.0327440 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Wiedermann, Jiří - Petrů, L.
Communicating Mobile Nano-Machines and Their Computational Power.
[Mobilní komunikační nano-mašiny a jejich výpočetní síla.]
Nano-Net. Revised Selected Papers. Berlin: Springer, 2009 - (Cheng, M.), s. 123-130. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 3. ISBN 978-3-642-02426-9.
[Nano-Net 2008. International Conference on Nano-Networks /3./. Boston (US), 14.09.2008-16.09.2008]
R&D Projects: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : molecular communication * nanomachines * timed probabilistic automata * communication protocol * universal computing
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0174258 - 6.0317378 - ÚI 2009 RIV CZ eng C - Conference Paper (international conference)
Malohlava, M. - Bureš, Tomáš
Language for reconfiguring runtime infrastructure of component-based systems.
[Jazyk pro rekonfiguraci runtime infrastruktury komponentových systémů.]
Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University and Technical University Brno, 2008 - (Novotný, Z.), s. 156-163. ISBN 978-80-7355-082-0.
[MEMICS 2008. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science /4./. Znojmo (CZ), 14.11.2008-16.11. 2008]
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : component based systems * runtime reconfiguration * runtime environment
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0167039 - 7.0317134 - ÚI 2009 US eng C - Conference Paper (international conference)
Babka, B. - Bulej, Lubomír - Děcký, M. - Holub, M. - Tůma, P.
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective.
Proceedings of ICSE 2008 Workshop on Software Engineering in East and South Europe. New York: ACM, 2008, S.71-77. ISBN 978-1-60558-076-0.
[SEESE 2008. Workshop on Software Engineering in East and South Europe. Leipzig (DE), 10.05.2008-12.05.2008]
R&D Projects: GA ČR(CZ) GD201/05/H014
Keywords : teaching * operating systems * student assignments
Permanent Link: http://hdl.handle.net/11104/0166860 - 8.0317033 - ÚI 2009 RIV BE eng C - Conference Paper (international conference)
Wiedermann, Jiří - Petrů, L.
Communicating Mobile Nano-Machines and Their Computational Power.
[Mobilní komunikační nano-mašiny a jejich výpočetní síla.]
Nano-Net 2008. Gent: ICST, 2008, s. 1-8. ISBN 978-963-9799-37-0.
[Nano-Net 2008. International Conference on Nano-Networks /3./. Boston (US), 14.09.2008-16.09.2008]
R&D Projects: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : molecular communication * nanomachines * timed probabilistic automata * communication protocol * universal computing
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0166788 - 9.0316693 - ÚI 2009 RIV US eng C - Conference Paper (international conference)
Vaculín, Roman - Neruda, Roman - Sycara, K.
Towards Extending Service Discovery with Automated Composition Capabilities.
[Rozšíření vyhledávání webových služeb o metody automatické kompozice.]
The 6th IEEE European Conference on Web Services. Los Alamitos: IEEE Computer Society Press, 2008, s. 3-12. ISBN 978-0-7695-3399-5.
[ECOWS'08. The IEEE European Conference on Web Services /6./. Dublin (IE), 12.11.2008-14.11.2008]
R&D Projects: GA MŠMT ME08095; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : web services discovery * web services composition * semantic web services * OWL-S
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0166534 - 10.0315195 - ÚI 2009 RIV SK eng C - Conference Paper (international conference)
Slušný, Stanislav - Neruda, Roman - Vidnerová, Petra
Learning Algorithms for Small Mobile Robots: Case Study on Maze Exploration.
[Učící algoritmy pro miniaturní roboty: Studie na úloze prohledávání bludiště.]
Information Technologies - Applications and Theory. Košice: Prírodovedecká fakulta, Univerzita P.J. Šafárika, 2008 - (Vojtáš, P.), s. 49-54. ISBN 978-80-969184-9-2.
[ITAT 2008. Conference on Theory and Practice of Information Theory. Hrebienok (SK), 22.09.2008-26.09.2008]
R&D Projects: GA MŠMT(CZ) 1M0567; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : reinforcement learning * neural networks * evolutionary robotics
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0165466