Projects funded by the NCN
New methods of comprehensive analysis of concurrent computing systems
2013/09/D/ST6/03928
Keywords:
Petri nets traces concurrency modelling multi-core architecture
Descriptors:
- ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
- ST6_1: Computer architecture, ubiquitous computing
- ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
woj. kujawsko-pomorskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 3
Call: SONATA 5 - announced on 2013-03-15
Amount awarded: 234 470 PLN
Project start date (Y-m-d): 2014-02-18
Project end date (Y-m-d): 2017-08-17
Project duration:: 42 months (the same as in the proposal)
Project status: Project settled