Výsledky vyhľadávania - STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Modular Programming of Hierarchy and Diversity in Multivariate Polymer/Metal-Organic Framework Hybrid Composites Autor 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…”
Zistit podrobnosti o prístupe

A Rule-Based Method for Cognitive Competency Assessment in Computer Programming Using Bloom's Taxonomy Autor 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…”
Získať plný text

Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid Autor 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…”
Získať plný text

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

“… In particular, this allows to seamlessly integrate specialized routines for structured problems…”
Získať plný text

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification Autor 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…”
Získať plný text

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

“… Durable products are characterized by their modular structured design as well as their long life cycle…”
Získať plný text

An Object-Oriented Approach to the Modular Design of Mechatronic Systems Autor 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…”
Získať plný text

Tool support for assurance case development Autor 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…”
Získať plný text

Benders Decomposition Using Graph Modeling and Multi-Parametric Programming Autor 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…”
Zistit podrobnosti o prístupe

Modular approach to near-time data management for multi-city atmospheric environmental observation campaigns Autor 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…”
Získať plný text

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids Autor 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…”
Získať plný text

GBOML: a structure-exploiting optimization modelling language in Python Autor 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…”
Získať plný text

Application of ZigBee-WSN Technology for Indoor Environmental Parameter Monitoring System Autor 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…”
Získať plný text

SimPEG: An open source framework for simulation and gradient based parameter estimation in geophysical applications Autor 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…”
Získať plný text

Joint Lagrangian Relaxation and Dynamic Programming Approach for a Multi-Period Multi-Product Location-Inventory Problem Autor 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…”
Získať plný text

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways Autor 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…”
Získať plný text

A high-level modular definition of the semantics of C Autor 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…”
Získať plný text

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids Autor 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…”
Získať plný text

Dynamic reverse supply chain network design under uncertainty: mathematical modeling and solution algorithm Autor 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…”
Získať plný text

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

“… By using modular and structured programming method, the firmware program development and FPGA programming…”
Získať plný text