Domain Specific Abstractions for the Development of Fast-by-Construction Dataflow Codes on FPGAs by Nick Brown

Subjects: Get full text

Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models by Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed Mohammed Alghamdi

Subjects: “…Dual-level programming models…”
Get full text

Multi-Project Staff Scheduling Optimization Considering Employee Welfare in Construction Projects by Junlong Peng, Fei Zhou

Subjects: Get full text

Mathematical Models for Milk Dispatching Problem by Damla Yüksel, Damla Kızılay, Hande Öztop, Sinem Özkan

Subjects: Get full text

Primitive Program Schemes with Procedures by R. I. Podlovchenko

Subjects: “…algebraic program model…”
Get full text

Water saving role and environmental impacts of price liberalization in agriculture: An experience in Iran by Hamidreza Gerami, Seyed Nematollah Moosavi, Abbas Aminifard

Subjects: “…positive mathematical programming model…”
Get full text

On a Function Representation in an Imperative Program Model Specified by Petri Nets by G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov

Subjects: “…program model…”
Get full text

A Method of Sample Models of Program Construction in Terms of Petri Nets by D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev

Subjects: “…program model…”
Get full text

Model of the management program for a means complex of the design works automation as a finite-state automaton by Zakharchenko V. P., Marchenko А. V., Nenia V. H.

Subjects: “…program model…”
Get full text

A high-performance tensor computing unit for deep learning acceleration by Qiang Zhou, Tieli Sun, Taoran Shen, York Xue

Subjects: Get full text

Equivalence Problem Solvability in Biparametric Gateway Program Models by A. E. Molchanov

Subjects: Get full text

DEVELOPMENT OF A MULTI-OBJECTIVE PRODUCTION PLANNING MODEL FOR A SAWMILL by SEGUN ABIODUN ALONGE, CHRISTOPHER OSITA ANYAECHE

Subjects: “…sawmills, goal programming model, goals constraints, priority structures, production plans…”
Get full text

Equivalence Problem Solvability in Gateway Program Models by R. I. Podlovchenko, A. E. Molchanov

Subjects: Get full text

Designing supply chain of blood under uncertainty: A case study by Ali Namazian, Reza Babazadeh

Subjects: “…mixed-integer linear programming model…”
Get full text

Optimal placement, sizing and operation of D-STATCOMs in power distribution systems using a Mixed-Integer Linear Programming model by Juan E. Suarez Patiño, Luis A. Gallego Pareja, Oscar Gómez Carmona

Subjects: “…Mix Integer Linear Programming model…”
Get full text

A Land Spatial Optimization Approach for the Reutilization of Abandoned Mine Land: A Case Study of Ningbo, China by Chenglong Cao, Liu Yang, Wanqiu Zhang, Wenjun Zhang, Gang Lin, Kun Liu

Subjects: Get full text

Robustness-Based Approach for Slack Time Optimization in Tram Timetables by Weixia Zhou, Jing Teng, Enhui Chen

Subjects: Get full text

Assessment of the Sustainability of University Academic Programs for the Accreditation: A Complex Challenge by Giada La Scalia, Simona Mancini, Roberto Gambino, Maria Ciaccio

Subjects: Get full text

Agricultural production structure adjustment based on a multi-objective control in the Tiaoxi watershed by YE Zhennan, WANG Fei’er, JI Lingye, YU Jie

Subjects: “…multi-objective programming model…”
Get full text

Modeling optimal combination of breast and cervical cancer screening strategies in China by Xuewei Liu, Yanbo Wang, Bei Gao, Xinlin Lu, Yuan Wang, Wenli Lu

Subjects: Get full text