the proceedings contain 7 papers. the special focus in this conference is on Unifying theories of programming. the topics include: three approaches to timed external choice in UTP;a mechanised theory engineering frame...
ISBN:
(纸本)9783319148052
the proceedings contain 7 papers. the special focus in this conference is on Unifying theories of programming. the topics include: three approaches to timed external choice in UTP;a mechanised theory engineering framework;angelicism in the theory of reactive processes;constructing the views framework;observation-oriented semantics for calculus of wireless systems and a formal model for a hybrid programming language.
In this paper, the optimization problems with inequality and equality constraints are considered. Using the Fenchel-Rockafellar approach, different dual optimization problems by means of distinct perturbations of the ...
详细信息
An overview of a newly designed parallel programming language is presented in this paper. Fortress, an outcome of the High Productivity Computing Systems program at DARPA, is examined through its features like mathema...
详细信息
this paper presents a study of the production planning decisions in the context of semiconductor test industry. In our problem, the items to be tested need to go through a series of stages (stations) which require dif...
详细信息
ISBN:
(纸本)9781538657485
this paper presents a study of the production planning decisions in the context of semiconductor test industry. In our problem, the items to be tested need to go through a series of stages (stations) which require different configurations of resources (kits) which are shared among stages. We establish two novel mixed integer programming models, withthe objective to minimize the total processing cost, subject to the resource reconfiguration constraints on the test resources, machine capacity, and the changing-over time for setting up the station for different stages. Numerical examples are conducted to illustrate the performance of our models, and the comparisons between the two models are given as well.
We introduce ICICOS, a specific cloud and edge computing platform that provides industrial automation and artificial intelligence services. this platform is based on IEC61131-3 programming standard that used to replac...
详细信息
In recent years ″software engineering″ has emerged as a discipline of programming. It includes the conceptualization, design, implementation, testing and modification of software systems. Related issues are language...
详细信息
In recent years ″software engineering″ has emerged as a discipline of programming. It includes the conceptualization, design, implementation, testing and modification of software systems. Related issues are languages, standards, distributed and parallel processing, and total programming environments. the fact that more than 80 percent of system development costs were in software rather than hardware helps one appreciate the importance of any effort to understand and enhance the software production process. Many pattern recognition projects involve fairly large software efforts. It makes sense not only for researchers to make use of the latest software tools and methodologies but also to anticipate future changes.
this paper aims to analyze the current situation of the course of applied statistics in the major of Computer science and Technology as well as the major of Big Data. In view of the problems existing in the teaching p...
详细信息
In this paper we propose a new class of primal-dual path-following interior point algorithms for semidefinite programming. Each iterate is always following the usual wide neighborhood N5;∞(τ), not necessary stay...
详细信息
the emergence of heterogeneous processors such as GPUs provide massively parallel computing power but also exacerbate the difficulties of parallel programming. Although low-level programming methods such as CUDA and O...
详细信息
Arkansas Tech University (ATU) has over 650 students (2020-2021) from STEM (science, Technology, engineering, and Mathematics) majors taking programming sequence (PS) courses each semester. However, despite minor effo...
详细信息
暂无评论