Search Results - "Modular programming"

OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.

Authors: NAVAS, JORGE A. GEHANI, ASHISH

Source: Communications of the ACM; Apr2023, Vol. 66 Issue 4, p40-47, 8p, 1 Color Photograph, 1 Diagram, 2 Graphs

BAT.jl Upgrading the Bayesian Analysis Toolkit.

Authors: Doglioni, C. Kim, D. Stewart, G.A. et al.

Source: EPJ Web of Conferences. 11/16/2020, Vol. 245, p1-7. 7p.

A modular software framework for test-beam data analysis. The TbGaudi package.

Authors: Rachwał, Bartłomiej Szumlak, Tomasz Forti, A. et al.

Source: EPJ Web of Conferences. 9/17/2019, Vol. 214, p1-6. 6p.

SPAGHETTI VS. MODULAR CODE -- THE CHOICE OF NOVICE PROGRAMMERS.

Authors: Lavy, Ilana Rashkovits, Rami

Source: International Conference on Information Systems Post-Implementation & Change Management. 2019, p60-66. 7p.

Effect handlers via generalised continuations.

Authors: HILLERSTRÖM, DANIEL LINDLEY, SAM ATKEY, ROBERT

Source: Journal of Functional Programming. 2020, Vol. 30, p1-69. 69p.

Towards a full higher order AD-based continuation and bifurcation framework.

Authors: Charpentier, Isabelle Cochelin, Bruno

Source: Optimization Methods & Software; Aug-Dec2018, Vol. 33 Issue 4-6, p945-962, 18p

Arbogast: Higher order automatic differentiation for special functions with Modular C.

Authors: Charpentier, Isabelle Gustedt, Jens

Source: Optimization Methods & Software; Aug-Dec2018, Vol. 33 Issue 4-6, p963-987, 25p

Genetic algorithm based hybrid approach to solve uncertain multi-objective COTS selection problem for modular software system.

Authors: Dhodiya, Jayesh M. Tailor, Anita Ravi

Source: Journal of Intelligent & Fuzzy Systems. 2018, Vol. 34 Issue 4, p2103-2120. 18p.

Subjects: Genetic algorithms, Modular programming, Membership functions (Fuzzy logic), Fuzzy logic, Parameter estimation

SYSTEM SOFTWARE ARCHITECTURE FOR ENHANCING HUMAN-ROBOT INTERACTION BY CONVERSATIONAL AI.

Authors: Lekova, Anna Tsvetkova, Paulina Andreeva, Anna

Source: Proceedings of the International Conference on Information Technologies; 2023, p41-42, 2p

Investigating relationships between functional coupling and the energy efficiency of embedded software.

Authors: Kim, Doohwan Hong, Jang-Eui Chung, Lawrence

Source: Software Quality Journal; Jun2018, Vol. 26 Issue 2, p491-519, 29p

Rapid process synthesis supported by a unified modular software framework.

Authors: Herold, Sebastian Krämer, Dominik Violet, Norman et al.

Source: Engineering in Life Sciences. Nov2017, Vol. 17 Issue 11, p1202-1214. 13p.

Modular programming for tuberculosis control, the "AuTuMN" platform.

Authors: Trauer, James McCracken Ragonnet, Romain Tan Nhut Doan et al.

Source: BMC Infectious Diseases. 8/7/2017, Vol. 17, p1-12. 12p. 2 Diagrams, 2 Charts, 3 Graphs.

HAMP -A Highly Abstracted and Modular Programming Paradigm for Expressing Parallel Programs on Heterogenous Platforms.

Authors: Balasubramanian, Srinivas Raghavendra, Prakash

Source: Proceedings of the World Congress on Engineering 2012 Volume II. 2012, p1-6. 6p.

Subjects: Modular programming, Parallel computer software, Parallel programming, Computer software quality control, Computer input-output equipment, Computer scheduling, Computer programmers

Optimization Problems for a Modular Software with Faults of Different Severity.

Authors: Kapur, P. K. Sachdeva, Nitin

Source: International Journal of Reliability, Quality & Safety Engineering. Jun2016, Vol. 23 Issue 3, p-1. 12p.

Subjects: Modular programming, Software reliability, Electric power system faults, Mathematical optimization, Goodness-of-fit tests

Efficient modular exponential algorithms compatible with hardware implementation of public-key cryptography.

Authors: Vollala, Satyanarayana Geetha, Krishnan Ramasubramanian, Natarajan

Source: Security & Communication Networks; 11/10/2016, Vol. 9 Issue 16, p3105-3115, 11p

First-order modular logic programs and their conservative extensions.

Authors: HARRISON, AMELIA LIERLER, YULIYA Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p755-770. 16p.

A Component Selection Framework of Cohesion and Coupling Metrics.

Authors: Iyyappan, M. Kumar, Arvind Ahmad, Sultan et al.

Source: Computer Systems Science & Engineering; 2023, Vol. 44 Issue 1, p351-365, 15p

Modular System-Level Architecture for Concurrent Cell Balancing.

Authors: Kauer, Matthias Naranayaswami, Swaminathan Steinhorst, Sebastian et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2013, p1-10, 10p

A programming tool to ease modular programming with C++.

Authors: García Perez-Schofield, J. Baltasar Ortín, Francisco

Source: CISTI (Iberian Conference on Information Systems & Technologies / Conferência Ibérica de Sistemas e Tecnologias de Informação) Proceedings; Jul2011, p54-59, 6p, 3 Diagrams

Supermodular programming on finite lattices.

Authors: Khachaturov, Vladimir Khachaturov, Roman Khachaturov, Ruben

Source: Computational Mathematics & Mathematical Physics. Jun2012, Vol. 52 Issue 6, p855-878. 24p.

Subjects: Modular programming, Lattice theory, Boolean functions, Vector spaces, Modular functions, Mathematical analysis