Search results
- 1.0442870 - ÚI 2016 RIV NL eng J - Journal Article
Dzetkulič, Tomáš
Rigorous Integration of Non-Linear Ordinary Differential Equations in Chebyshev Basis.
Numerical Algorithms. Roč. 69, č. 1 (2015), s. 183-205. ISSN 1017-1398. E-ISSN 1572-9265
R&D Projects: GA MŠMT OC10048; GA ČR GD201/09/H057
Institutional research plan: CEZ:AV0Z10300504
Keywords : Initial value problem * Rigorous integration * Taylor model * Chebyshev basis
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.366, year: 2015
Permanent Link: http://hdl.handle.net/11104/0245684 - 2.0382779 - ÚI 2014 RIV NL eng J - Journal Article
Malohlava, M. - Hnětynka, P. - Bureš, Tomáš
SOFA 2 Component Framework and Its Ecosystem.
Electronic Notes in Theoretical Computer Science. Roč. 295, 9 May (2013), s. 101-106. ISSN 1571-0661.
[FESCA 2012. International Workshop on Formal Engineering approaches to Software Components and Architectures /9./. Tallinn, 31.03.2012]
R&D Projects: GA ČR GD201/09/H057
Grant - others:GA AV ČR(CZ) GAP202/11/0312; UK(CZ) SVV-2012-265312
Keywords : CBSE * component system * component model * component * sofa * ecosystem * development tool
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0212901 - 3.0382692 - ÚI 2014 RIV GB eng J - Journal Article
Malohlava, M. - Plášil, F. - Bureš, Tomáš - Hnětynka, P.
Interoperable domain-specific languages families for code generation.
Software-Practice & Experience. Roč. 43, č. 5 (2013), s. 479-499. ISSN 0038-0644. E-ISSN 1097-024X
R&D Projects: GA ČR GD201/09/H057
EU Projects: European Commission(XE) ASCENS 257414
Grant - others:GA AV ČR(CZ) GAP103/11/1489
Program: FP7
Institutional research plan: CEZ:AV0Z10300504
Keywords : code generation * domain specific languages * models reuse * extensible languages * specification * program synthesis
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.148, year: 2013
Permanent Link: http://hdl.handle.net/11104/0212840