Search Results - Programming Languages and Software General Terms Algorithms

TSUNAMI: A GPU Implementation of the WFA Algorithm by Gerometta, Giulia, Zeni, Alberto, Santambrogio, Marco D.

“… to overcome the limitations of these algorithms. In this scenario, we present TSUNAMI, a highly-optimized implementation of the WaveFront Alignment (WFA) algorithm on GPU…”
Get full text

Improving load balancing in distributed software-defined networks with a bidirectional long short-term memory-based controller design by Shirani, Leila, Movahednejad, Homa, Sharifi, Mahdi, Mahmoudi, Marjan

“…Software-defined networks (SDNs) improve network flexibility and dynamic management by separating the control and data layers…”
Get full text

One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution by Cicolini, Luisa, Carloni, Filippo, Santambrogio, Marco D., Conficconi, Davide

“…Regular Expressions (REs) matching is crucial to identify strings exhibiting certain morphological properties in a data stream, resulting paramount in contexts…”
Get full text

Architecture-Aware Currying by Kandemir, Mahmut Taylan, Akbulut, Gulsum Gudukbay, Choi, Wonil, Karakoy, Mustafa

“… We define the concept of "neighborhood", in terms of on-chip network links, and use it to formulate the NDC problem…”
Get full text

Quantum programming languages by Heim, Bettina, Soeken, Mathias, Marshall, Sarah, Granade, Chris, Roetteler, Martin, Geller, Alan, Troyer, Matthias, Svore, Krysta

“… them. Quantum programming languages are used for controlling existing physical devices, for estimating the execution costs of quantum algorithms on future devices, for teaching quantum computing concepts…”
Get full text

A general and Robust Ray-Casting-Based Algorithm for Triangulating Surfaces at the Nanoscale by Decherchi, Sergio, Rocchia, Walter

“…We present a general, robust, and efficient ray-casting-based approach to triangulating complex manifold surfaces arising in the nano-bioscience field…”
Get full text

Ontologizer 2.0—a multifunctional tool for GO term enrichment analysis and data exploration by Bauer, Sebastian, Grossmann, Steffen, Vingron, Martin, Robinson, Peter N.

“…) terms in sets of genes or proteins derived from an experiment. The Ontologizer implements the standard approach to statistical analysis based on the one-sided Fisher's exact test, the novel parent…”
Get full text

Practical Guide to Machine Learning, NLP, and Generative AI: Libraries, Algorithms, and Applications by Mariprasath T, Rivera Marco, Cheepati Kumar Reddy

“…This hands-on guide explores the core concepts and cutting-edge techniques in machine learning, natural language processing (NLP), and generative AI…”
Get full text

MetPy: A Meteorological Python Library for Data Analysis and Visualization by May, Ryan M., Goebbert, Kevin H., Thielen, Jonathan E., Leeman, John R., Camron, M. Drew, Bruick, Zachary, Bruning, Eric C., Manser, Russell P., Arms, Sean C., Marsh, Patrick T.

“…MetPy is an open-source, Python-based package for meteorology, providing domain-specific functionality built extensively on top of the robust scientific Python software stack, which includes libraries…”
Get full text

HiSpTRSV: Exploring Tile-Level Parallelism for SpTRSV Acceleration on FPGAs by Sun, Fan, Dong, Fang, Shen, Dian

“… HiSpTRSV addresses these challenges through dependency graph parsing, tile-based highly parallel algorithm, filtering mechanisms, and bidirectional matching with modular indexing…”
Get full text

Improving the modularization quality of heterogeneous multi-programming software systems by unifying structural and semantic concepts by Kargar, Masoud, Isazadeh, Ayaz, Izadkhah, Habib

“… There has recently been a significant increase in written large-scale applications with a collaboration of several programming languages…”
Get full text

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices by Yang, Zhaohui, Ding, Dawei, Zhu, Chenghong, Chen, Jianxin, Xie, Yuan

“…Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for near-term quantum…”
Get full text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses by Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“…) of the first-order language limit Datalog Z (a fragment of Datalog modulo linear integer arithmetic…”
Get full text

From source code identifiers to natural language terms by Carvalho, Nuno Ramos, Almeida, José João, Henriques, Pedro Rangel, Varanda, Maria João

“… Most programming languages enforce some constrains on identifiers strings (e.g., white spaces or commas are not allowed…”
Get full text

Hybrid deep learning models and link probability based routing in software defined-DCN by Modi, Tejas M., Swain, Pravati

“…In an SDN-based Data Center Network (SD-DCN) environment, network traffic is highly vulnerable to handle the dynamic requirements of the users. It creates…”
Get full text

Validating quantum-classical programming models with tensor network simulations by McCaskey, Alexander, Dumitrescu, Eugene, Chen, Mengsu, Lyakh, Dmitry, Humble, Travis

“…The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun…”
Get full text

Anyone Can Code: The Art and Science of Logical Creativity by Arya, Ali

“… “An excellent book that teaches programming and software development the way it should be done: independent from a specific implementation language and focusing on the main…”
Get full text

Controller placement issue in software-defined networks with different goals: a comprehensive survey by Mojez, Hadi, Kamel, Hamed, Zanjani, Roshanak, Bidgoli, Amir Massoud

“…’ number, location, and assigning of forwarding devices to controllers. Recently, mathematical formulations and algorithms have been proposed to solve various problems in SDNs and software-defined wide area networks…”
Get full text

Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols by Kosovskaya, T. M., Zhou, J.

“…In artificial intelligence problems, connected with the study of complex structured objects which are described in the terms of properties of their elements and relationships between these elements…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text