Suchergebnisse - STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS)

Modular Programming of Hierarchy and Diversity in Multivariate Polymer/Metal-Organic Framework Hybrid Composites von 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 …”
Weitere Angaben

A Rule-Based Method for Cognitive Competency Assessment in Computer Programming Using Bloom's Taxonomy von 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 …”
Volltext

Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid von 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 …”
Volltext

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

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

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification von 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 …”
Volltext

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

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

An Object-Oriented Approach to the Modular Design of Mechatronic Systems von 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 …”
Volltext

Tool support for assurance case development von 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 …”
Volltext

Benders Decomposition Using Graph Modeling and Multi-Parametric Programming von 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 …”
Weitere Angaben

Modular approach to near-time data management for multi-city atmospheric environmental observation campaigns von 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 …”
Volltext

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids von 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 …”
Volltext

GBOML: a structure-exploiting optimization modelling language in Python von 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 …”
Volltext

Application of ZigBee-WSN Technology for Indoor Environmental Parameter Monitoring System von 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 …”
Volltext

SimPEG: An open source framework for simulation and gradient based parameter estimation in geophysical applications von 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 …”
Volltext

Joint Lagrangian Relaxation and Dynamic Programming Approach for a Multi-Period Multi-Product Location-Inventory Problem von 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 …”
Volltext

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways von 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 …”
Volltext

A high-level modular definition of the semantics of C von 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 …”
Volltext

A high-performance finite-volume algorithm for solving partial differential equations governing compressible viscous flows on structured grids von 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 …”
Volltext

Dynamic reverse supply chain network design under uncertainty: mathematical modeling and solution algorithm von 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 …”
Volltext

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

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