the readers-writers problem is quite famous and is implemented in several ways. this article aims to propose a solution for the readers-writers problem, where the reader will be having the ability to pause, resume and...
详细信息
Application programming Interfaces (APIs) are a standard feature of any application that exposes its functionalities to external invokers. APIs can be composed thus obtaining new programs with new functionalities. How...
详细信息
With Gaussian Elimination as a representative family of numerical and symbolic algorithms, we use multi-stage programming, monads and Ocaml's advanced module system to demonstrate the complete elimination of the a...
详细信息
ISBN:
(纸本)3540291385
With Gaussian Elimination as a representative family of numerical and symbolic algorithms, we use multi-stage programming, monads and Ocaml's advanced module system to demonstrate the complete elimination of the abstraction overhead while avoiding any inspection of the generated code. We parameterize our Gaussian Elimination code to a great extent (over domain, matrix representations, determinant tracking, pivoting policies, result types, etc). at no run-time cost. Because the resulting code is generated just right and not changed afterwards, we enjoy MetaOCaml's guaranty that the generated code is well-typed. We further demonstrate that various abstraction parameters (aspects) can be made orthogonal and compositional, even in the presence of name-generation for temporaries and other bindings and "interleaving" of aspects. We also show how to encode some domain-specific knowledge so that "clearly wrong" compositions can be statically rejected by the compiler when processing the generator rather than the generated code.
Railway operations are often influenced by geological or climate disasters in mountainous areas. the passenger train operation adjustment optimization model is established based on the ranks of different passenger tra...
详细信息
the traditional approach of teaching programming courses is teachers centric where students are passive learners. Also for such courses, the laboratory and classes are conducted separately. this paper focuses on integ...
详细信息
this paper investigates the reasoning capabilities of various Graph Neural Networks (GNN) on dynamic programming-based tasks, focusing on the impact of different aggregation strategies. the study evaluates five GNN ar...
详细信息
As a major discipline in the field of fluid mechanics, flow control is commonly used in academic research and engineering applications. However, because the flow problem is more complex as a nonlinear problem, it has ...
详细信息
We present a framework for a programming course for undergraduate computer science students. the technical motivation is to implement a two-wheeled self-balancing controllable robot. Advanced requirements make it a fu...
详细信息
ISBN:
(纸本)9783642254888
We present a framework for a programming course for undergraduate computer science students. the technical motivation is to implement a two-wheeled self-balancing controllable robot. Advanced requirements make it a full-grown software project. the emphasis of this course is on one hand to teach basic concepts of software programming. the students work in groups of five and each student is assigned a role, which is typical for the software development process. On the other hand, the course is intended to give some basic hands-on experience in control theory.
the massive growth of the Internet and the World Wide Web has lead to research into programming languages for the development of applications in heterogeneous, network-wide distributed environments. Java is an object-...
详细信息
the problem of locating magnetic target is the solution of nonlinear programming problems. the biggest characteristic of the problem is that the calculation process of the objective function is quite complicated. With...
详细信息
暂无评论