Search Results - STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Modular Programming of Hierarchy and Diversity in Multivariate Polymer/Metal-Organic Framework Hybrid Composites by Feng, Liang, Lv, Xiu-Liang, Yan, Tian-Hao, Zhou, Hong-Cai

“… In this work, we introduce the concept of modular programming, which emphasizes isolating the functionality of a system into independent, interchangeable modules, to tailor the hierarchy…”
Get more information

A Rule-Based Method for Cognitive Competency Assessment in Computer Programming Using Bloom's Taxonomy by Ullah, Zahid, Lajis, Adidah, Jamjoom, Mona, Altalhi, Abdulrahman H., Shah, Jalal, Saleem, Farrukh

“…Assessment of students in computer programming is a challenge for instructors, especially at the introductory programming level, where the number of student enrollment is typically high…”
Get full text

Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid by Cao, Huanqi, Tang, Shizhi, Zhu, Qianchao, Yu, Bowen, Chen, Wenguang

“… However, achieving high performance and scalability often necessitates intricate and low-level programming, particularly when leveraging deterministic sparsity patterns in structured grids…”
Get full text

Design and implementation of a modular interior-point solver for linear optimization by Tanneau, Mathieu, Anjos, Miguel F., Lodi, Andrea

“… In particular, this allows to seamlessly integrate specialized routines for structured problems…”
Get full text

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification by Pani, Thomas, Weissenbacher, Georg, Zuleger, Florian

“… TMCA is a structured abstraction framework built from a novel combination of counter abstraction , thread-modular reasoning , and predicate abstraction…”
Get full text

Accelerating Benders decomposition for closed-loop supply chain network design: Case of used durable products with different quality levels by Jeihoonian, Mohammad, Kazemi Zanjani, Masoumeh, Gendreau, Michel

“… Durable products are characterized by their modular structured design as well as their long life cycle…”
Get full text

An Object-Oriented Approach to the Modular Design of Mechatronic Systems by Zhang, Zhinan, Zhuge, Xun, Li, Xiang, Evans, Richard, Liu, Ang

“… Although efforts have been made to create efficient methods to guide the design of mechatronic systems, no existing solutions solve the complexity of design problems experienced during their design…”
Get full text

Tool support for assurance case development by Denney, Ewen, Pai, Ganesh

“… and other engineering activities. Although a variety of assurance case tools exist, many desirable operations on argument structures such as hierarchical and modular abstraction, argument pattern instantiation, and inclusion…”
Get full text

Benders Decomposition Using Graph Modeling and Multi-Parametric Programming by Brahmbhatt, Parth, Cole, David L, Zavala, Victor M, Avraamidou, Styliani

“…Benders decomposition is a widely used method for solving large and structured optimization problems, but its performance is affected by the repeated solution of subproblems…”
Get more information

Modular approach to near-time data management for multi-city atmospheric environmental observation campaigns by Zeeman, Matthias, Christen, Andreas, Grimmond, Sue, Fenner, Daniel, Morrison, William, Feigel, Gregor, Sulzer, Markus, Chrysoulakis, Nektarios

“…Urban observation networks are becoming denser, more diverse, and more mobile, while being required to provide results in near time. The Synergy Grant…”
Get full text

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids by Guzik, S.M., Gao, X., Olschanowsky, C.

“…This work focuses on the development of a high-performance fourth-order finite-volume method to solve the nonlinear partial differential equations governing the compressible Navier…”
Get full text

GBOML: a structure-exploiting optimization modelling language in Python by Miftari, Bardhyl, Berger, Mathias, Derval, Guillaume, Louveaux, Quentin, Ernst, Damien

“…Mixed-Integer Linear Programs (MILPs) have many practical applications. Most modelling tools for MILPs fall in two broad categories. Indeed, tools such as…”
Get full text

Application of ZigBee-WSN Technology for Indoor Environmental Parameter Monitoring System by Kong, Lingjie

“… Therefore, in order to intelligently control and improve living environment in real-time monitoring method, a kind of indoor environmental parameter monitoring system is proposed in this paper…”
Get full text

SimPEG: An open source framework for simulation and gradient based parameter estimation in geophysical applications by Cockett, Rowan, Kang, Seogi, Heagy, Lindsey J., Pidlisecky, Adam, Oldenburg, Douglas W.

“…Inverse modeling is a powerful tool for extracting information about the subsurface from geophysical data. Geophysical inverse problems are inherently…”
Get full text

Joint Lagrangian Relaxation and Dynamic Programming Approach for a Multi-Period Multi-Product Location-Inventory Problem by Araya-Sassi, Claudio, Paredes-Belmar, German, Gutierrez-Jarpa, Gabriel, Gatica Escobar, Ricardo

“… This problem is structured as a non-convex mixed integer nonlinear programming model. We propose a Lagrangian relaxation algorithm and the subgradient approach as a solution method…”
Get full text

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways by Breitling, Rainer, Gilbert, David, Heiner, Monika, Orton, Richard

“…) are a central component of modern systems biology. Building and managing these complex models is a major challenge that can benefit from the application of formal methods adopted from theoretical computing science…”
Get full text

A high-level modular definition of the semantics of C by Börger, Egon, Fruja, Nicu G., Gervasi, Vincenzo, Stärk, Robert F.

“…We propose a structured mathematical definition of the semantics of C ♯ programs to provide a platform-independent interpreter view of the language for the C…”
Get full text

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids by Guzik, S. M., Gao, X., Olschanowsky, C.

“…Here this work focuses on the development of a high-performance fourth-order finite-volume method to solve the nonlinear partial differential equations governing the compressible Navier…”
Get full text

Dynamic reverse supply chain network design under uncertainty: mathematical modeling and solution algorithm by Jeihoonian, Mohammad, Kazemi Zanjani, Masoumeh, Gendreau, Michel

“…Motivated by the recovery of modular‐structured products, this study addresses the flexible design of a reverse supply chain (RSC…”
Get full text

Design of Data Acquisition System for Ejection Test Bench by Zhou, Yong, Lou, Jiaying, Jiang, Qinyu, Zhou, Hao

“… By using modular and structured programming method, the firmware program development and FPGA programming…”
Get full text