Výsledky vyhledávání - "[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]"
-
1
Deadlock analysis of unbounded process networks
ISSN: 0890-5401, 1090-2651Vydáno: Elsevier Inc 01.02.2017Vydáno v Information and computation (01.02.2017)“…Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers…”
Získat plný text
Journal Article -
2
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
ISSN: 2075-2180Vydáno: Open Publishing Association 31.12.2018Vydáno v Electronic Proceedings in Theoretical Computer Science (31.12.2018)Získat plný text
Journal Article -
3
Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering
ISSN: 2161-5063, 2161-5063Vydáno: United States 19.08.2016Vydáno v ACS synthetic biology (19.08.2016)“…Synthetic biology is an emerging scientific field that promotes the standardized manufacturing of biological components without natural equivalents. Its goal…”
Zjistit podrobnosti o přístupu
Journal Article -
4
Formal security proofs with minimal fuss: Implicit computational complexity at work
ISSN: 0890-5401Vydáno: Elsevier BV 01.04.2015Vydáno v Information and Computation (01.04.2015)Získat plný text
Journal Article -
5
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
ISBN: 3030473600, 9783030473600Vydáno: Switzerland Springer International Publishing AG 2020Vydáno v Reversible Computation: Extending Horizons of Computing (2020)Získat plný text
Kapitola
-
6
Systematic Development of Correct Bulk Synchronous Parallel Programs
ISBN: 142449110X, 9781424491100ISSN: 2379-5352Vydáno: IEEE 01.12.2010Vydáno v 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies (01.12.2010)“…With the current generalisation of parallel architectures arises the concern of applying formal methods to parallelism. The complexity of parallel, compared to…”
Získat plný text
Konferenční příspěvek