Výsledky vyhledávání - Programming Languages and Software General Terms Languages
-
1
From source code identifiers to natural language terms
ISSN: 0164-1212, 1873-1228Vydáno: New York Elsevier Inc 01.02.2015Vydáno v The Journal of systems and software (01.02.2015)“… Most programming languages enforce some constrains on identifiers strings (e.g., white spaces or commas are not allowed…”
Získat plný text
Journal Article -
2
Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Code generation is to automatically generate source code conforming to a given programming specification, which has received extensive attention especially with the development of large language models (LLMs…”
Získat plný text
Konferenční příspěvek -
3
Architecture-Aware Currying
Vydáno: IEEE 21.10.2023Vydáno v 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“… We define the concept of "neighborhood", in terms of on-chip network links, and use it to formulate the NDC problem…”
Získat plný text
Konferenční příspěvek -
4
CELLO: Compiler-Assisted Efficient Load-Load Ordering in Data-Race-Free Regions
Vydáno: IEEE 21.10.2023Vydáno v 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“…) property imposed by modern programming languages. To leverage this observation…”
Získat plný text
Konferenční příspěvek -
5
Quantum programming languages
ISSN: 2522-5820Vydáno: London Nature Publishing Group 01.12.2020Vydáno v Nature reviews physics (01.12.2020)“…Quantum programming languages are essential to translate ideas into instructions that can be executed by a quantum computer…”
Získat plný text
Journal Article -
6
GO::TermFinder—open source software for accessing Gene Ontology information and finding significantly enriched Gene Ontology terms associated with a list of genes
ISSN: 1367-4803, 1460-2059, 1367-4811Vydáno: Oxford Oxford University Press 12.12.2004Vydáno v Bioinformatics (12.12.2004)“…) information and evaluating and visualizing the collective annotation of a list of genes to GO terms…”
Získat plný text
Journal Article -
7
Generative Type Inference for Python
ISSN: 2643-1572Vydáno: IEEE 11.09.2023Vydáno v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub…”
Získat plný text
Konferenční příspěvek -
8
Learning and Programming Challenges of Rust: A Mixed-Methods Study
ISSN: 1558-1225Vydáno: ACM 01.05.2022Vydáno v 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)“…Rust is a young systems programming language designed to provide both the safety guarantees of high-level languages and the execution performance of low-level languages…”
Získat plný text
Konferenční příspěvek -
9
AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs
Vydáno: IEEE 01.10.2022Vydáno v 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO) (01.10.2022)“…Distributed quantum computing (DQC) is a promising approach to extending the computational power of near-term quantum hardware…”
Získat plný text
Konferenční příspěvek -
10
Turing.jl: A General-Purpose Probabilistic Programming Language
ISSN: 2836-8924, 2836-8924Vydáno: New York, NY ACM 30.09.2025Vydáno v ACM transactions on probabilistic machine learning (30.09.2025)“…Probabilistic programming languages (PPLs) are becoming increasingly important in many scientific disciplines, such as economics, epidemiology, and biology, to extract meaning from sources of data while accounting for one's uncertainty…”
Získat plný text
Journal Article -
11
Alignment Completeness for Relational Hoare Logics
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… for richer programming languages and alignment patterns…”
Získat plný text
Konferenční příspěvek -
12
One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution
ISSN: 2643-2838Vydáno: IEEE 02.03.2024Vydáno v Proceedings / International Symposium on Code Generation and Optimization (02.03.2024)“…Regular Expressions (REs) matching is crucial to identify strings exhibiting certain morphological properties in a data stream, resulting paramount in contexts…”
Získat plný text
Konferenční příspěvek -
13
Deep Learning with Python - Learn Best Practices of Deep Learning Models with PyTorch (2nd Edition)
ISBN: 9781484253632, 1484253639, 1484253647, 9781484253649Vydáno: Berkeley, CA Apress, an imprint of Springer Nature 2021“…, convolution neural networks, recurrent neural networks, long short-term memory networks, autoencoders…”
Získat plný text
E-kniha Kniha -
14
Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach
ISSN: 2836-8924, 2836-8924Vydáno: 30.09.2025Vydáno v ACM transactions on probabilistic machine learning (30.09.2025)“…In the context of probabilistic programming languages, we put forward an approach to formal semantics and sampling-based inference with guarantees, centered on an action-based language equipped…”
Získat plný text
Journal Article -
15
Commutative Monads for Probabilistic Programming Languages
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO…”
Získat plný text
Konferenční příspěvek -
16
Connected Code: Why Children Need to Learn Programming
ISBN: 0262027755, 9780262027755Vydáno: Cambridge, Mass The MIT Press 18.07.2014“… Programming is often promoted in K-12 schools as a way to encourage "computational thinking" -- which has now become the umbrella term for understanding what computer science has to contribute…”
Získat plný text
E-kniha Kniha -
17
Improving load balancing in distributed software-defined networks with a bidirectional long short-term memory-based controller design
ISSN: 1573-0484, 0920-8542, 1573-0484Vydáno: New York Springer US 10.07.2025Vydáno v The Journal of supercomputing (10.07.2025)“…Software-defined networks (SDNs) improve network flexibility and dynamic management by separating the control and data layers…”
Získat plný text
Journal Article -
18
From Multisets over Distributions to Distributions over Multisets
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability…”
Získat plný text
Konferenční příspěvek -
19
HiSpTRSV: Exploring Tile-Level Parallelism for SpTRSV Acceleration on FPGAs
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… Experiments show that HiSpTRSV outperforms the state-of-the-art SpTRSV accelerator in terms of a 34.3…”
Získat plný text
Konferenční příspěvek -
20
Comprehension of computer code relies primarily on domain-general executive brain regions
ISSN: 2050-084X, 2050-084XVydáno: England eLife Science Publications, Ltd 15.12.2020Vydáno v eLife (15.12.2020)“… We examined MD and language system responses to code written in Python, a text-based programming language (Experiment 1…”
Získat plný text
Journal Article

