Výsledky vyhledávání - "Theory of computation - Parallel computing models"
-
1
Verification of Flat FIFO Systems
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 14.10.2020Vydáno v Logical methods in computer science (14.10.2020)“…The decidability and complexity of reachability problems and model-checking for flat counter machines have been explored in detail. However, only few results…”
Získat plný text
Journal Article -
2
XCBC and XNIT - Tools for Cluster Implementation and Management in Research and Training
ISSN: 1552-5244Vydáno: IEEE 01.09.2015Vydáno v Proceedings / IEEE International Conference on Cluster Computing (01.09.2015)“…The Extreme Science and Engineering Discovery Environment has created a suite of software designed to facilitate the local management of computer clusters for…”
Získat plný text
Konferenční příspěvek