Výsledky vyhledávání - "D.3.2 [Programming Languages]: Language Classifications-concurrent"

Context constraints for compositional reachability analysis

Autoři: Cheung, Shing Chi Kramer, Jeff

Zdroj: ACM Transactions on Software Engineering and Methodology. 5:334-377

Témata: D.2.1 [Software Engineering]: Requirements/Specifications, D.3.2 [Programming Languages]: Language Classifications-concurrent, 0202 electrical engineering, electronic engineering, information engineering, distributed, and parallel languages, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, D.2.2 [Software Engineering]: Tools and Techniques

Language support for Morton-order matrices

Autoři: Wise, David S. Alexander, Gregory A. Frens, Jeremy D.

Zdroj: University Faculty Publications and Creative Works

Témata: Applicative (functional) languages, D.3.2 [Programming Languages]: Language Classifications-concurrent, distributed and parallel languages, D.4.2 [Operating Systems]: Storage management-storage hierarchies, E.1 [Data Structures]: Arrays, Computer Sciences

Popis souboru: application/pdf

Relation: https://digitalcommons.calvin.edu/calvin_facultypubs/558; https://digitalcommons.calvin.edu/context/calvin_facultypubs/article/1557/viewcontent/WiseDavid_Language_20support_20for_20Morton_order_20matrices.pdf

Dostupnost: https://digitalcommons.calvin.edu/calvin_facultypubs/558
https://doi.org/10.1145/568014.379559
https://digitalcommons.calvin.edu/context/calvin_facultypubs/article/1557/viewcontent/WiseDavid_Language_20support_20for_20Morton_order_20matrices.pdf