Zobrazeno 1 - 10
of 273
pro vyhledávání: '"Language interoperability"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lange, David
Poster for 2022 NSF CSSI PI meeting for projectOAC-1931408
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d9616bce84a0563b63b501435c70f05
Publikováno v:
IEEE Software. 37:38-45
The INTERO (interoperability) model helps organizations manage and improve interoperability among their large, evolving software systems. They can analyze a specific interoperability problem, conceive strategies to enhance interoperability, and reeva
Autor:
Pichler, Christoph
Being currently on the 8th place of the most-used programming languages, Swift has been gaining its impact during the last few years and is used more and more often in software projects. As larger projects come with a higher effort of building and ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3361::77bc721b165f1120391fe09197f18be5
Publikováno v:
Cheung, L, O'Connor, L & Rizkallah, C 2022, Overcoming Restraint: Composing Verification of Foreign Functions with Cogent . in A Popescu & S Zdancewic (eds), CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs . New York, NY, USA, pp. 13-26, Certified Programs and Proofs 2022, Philadelphia, Pennsylvania, United States, 17/01/22 . https://doi.org/10.1145/3497775.3503686
Cogent is a restricted functional language designed to reduce the cost of developing verified systems code. Because of its sometimes-onerous restrictions, such as the lack of support for recursion and its strict uniqueness type system, Cogent provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::752720f2acaef7863cab9a3b0ea285ca
http://arxiv.org/abs/2112.05964
http://arxiv.org/abs/2112.05964
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jessica Holloway, Steven Lewis
Publikováno v:
Big Data & Society. 9:205395172211375
In this paper, we draw on Foucault's and Deleuze's theorisations of discipline and control, respectively, to understand a teacher accountability system in the US state of Texas: the Texas Teacher Evaluation and Support System (hereafter, T-TESS). Spe
Publikováno v:
ASE
Most programming languages support foreign language interoperation that allows developers to integrate multiple modules implemented in different languages into a single multilingual program. While utilizing various features from multiple languages ex
Autor:
Koushik Sen, Shadaj Laddad
Publikováno v:
SCALA@SPLASH
In recent years, Python has become the language of choice for data scientists with its many high-quality scientific libraries and Scala has become the go-to language for big data systems. In this paper, we bridge these languages with ScalaPy, a syste
Autor:
Dawson Fox, Guang R. Gao, Jose Monsalve Diaz, Siddhisanket Raskar, Ryan Kabrick, Diego A. Roa Perdomo
Publikováno v:
IPDRM@SC
Since IBM first introduced the Instruction Set Architecture (ISA), there has been tremendous research conducted on novel hardware architectures and new high-level software frameworks, perhaps to a fault. With innovation came an ever growing gap betwe