Cython is a Python language extension that allows explicit type declarations and is compiled directly to C. As such, it addresses Python's large overhead for numerical loops and the difficulty of efficiently using...
详细信息
Cython is a Python language extension that allows explicit type declarations and is compiled directly to C. As such, it addresses Python's large overhead for numerical loops and the difficulty of efficiently using existing C and Fortran code, which Cython can interact with natively.
The development of enterprise software typically relies on object-oriented (OO) programming languages. However, OO languages are not particularly suited for the implementation of software which involves solving compli...
详细信息
The development of enterprise software typically relies on object-oriented (OO) programming languages. However, OO languages are not particularly suited for the implementation of software which involves solving complicated search problems with dynamically appearing constraints, e. g. as found in logistics. Aiming to improve this situation, we propose the Munster Logic-imperative language (Muli). As a constraint-logic OO language, it facilitates an integrated implementation of applications that use aspects from both constraint-logic and object-oriented programming, thus eliminating the need to resort to JNI for the integration of search applications that are written in a (constraint) logic language. Muli extends Java by logic variables and encapsulated search. Its runtime is based on a symbolic Java virtual machine and leverages constraint solvers. Outside of search regions, Muli behaves just like Java. We motivate the benefits of integrating object-oriented programming and constraint-logic programming into a single language and introduce novel concepts that are required for a seamless integration. Furthermore, we present an operational semantics and transfer concepts and semantics into implementations of a compiler and a virtual machine.
MCL is the programming language of the MERLIN optimization environment. It can be used for the implementation of efficient optimization strategies, abolishing to a great extend the need for user intervention. The lang...
详细信息
MCL is the programming language of the MERLIN optimization environment. It can be used for the implementation of efficient optimization strategies, abolishing to a great extend the need for user intervention. The language is simple to learn and its structure is similar to Fortran. We report on successful applications where MCL played an instrumental role, as for example in molecular physics problems and in the training of neural networks. (C) 1998 Elsevier Science B.V.
The authors describe their experience adapting inheritance mechanisms to a new application domain, reliable distributed systems. They give an overview of Avalon/C++, a programming language under development that allow...
详细信息
The authors describe their experience adapting inheritance mechanisms to a new application domain, reliable distributed systems. They give an overview of Avalon/C++, a programming language under development that allows programmers to `customize' the synchronization and fault-tolerance properties of data types by letting them inherit properties such as serializability and crash recovery from a library of basic types. The authors first describe the transaction model used to organize distributed computations and some relevant features of C++, and give an overview of the Avalon/C++ base hierarchy. They then describe in more detail each of the hierarchy's classes and some restrictions on their use that must be obeyed to preserve their semantic intent. An extended example illustrates a directory-type implementation that uses all three of the base classes. Related work is discussed
Rapid prototyping is an important element in researching new imaging analysis techniques and developing custom medical applications. In the last ten years, the open source community and the number of open source libra...
详细信息
Rapid prototyping is an important element in researching new imaging analysis techniques and developing custom medical applications. In the last ten years, the open source community and the number of open source libraries and freely available frameworks for biomedical research have grown significantly. What they offer are now considered standards in medical image analysis, computer-aided diagnosis, and medical visualization. A cursory review of the peer-reviewed literature in imaging informatics (indeed, in almost any information technology-dependent scientific discipline) indicates the current reliance on open source libraries to accelerate development and validation of processes and techniques. In this survey paper, we review and compare a few of the most successful open source libraries and frameworks for medical application development. Our dual intentions are to provide evidence that these approaches already constitute a vital and essential part of medical image analysis, diagnosis, and visualization and to motivate the reader to use open source libraries and software for rapid prototyping of medical applications and tools.
In a customer-oriented environment standardized models are replaced by generic products. A generic product is defined through a set of attributes, which may have a set of alternative values. Since the number of varian...
详细信息
In a customer-oriented environment standardized models are replaced by generic products. A generic product is defined through a set of attributes, which may have a set of alternative values. Since the number of variants may run into high numbers, it is impossible to design and maintain a bill of material (BOM) structure for each variant. A solution is to describe all product variants in one generic BOM. BOMs for each product variant may then be generated from this structure by specifying attributes. By describing the generic BOM as an executable computer program we get the flexibility needed to integrate different aspects of a product in one structure. (C) 1998 Elsevier Science B.V. All rights reserved.
The author reflects on the significance of acquiring the best tool in designing a system's architecture and evokes the need to improve the tools that compile the software. The author reveals that most applications...
详细信息
The author reflects on the significance of acquiring the best tool in designing a system's architecture and evokes the need to improve the tools that compile the software. The author reveals that most applications and software-building tools quickly become out-of-date. He suggests that programmers must search for support tools that could build reliable, secure, efficient, usable and maintainable software while offering big productivity gains and highest expressive power.
The Dijkstra, Martin, Lamport, Scholten, and Steffens (1978) algorithm is a well-known algorithm for concurrent garbage collection in a LISP-like setting. Presentation is made here of a new proof of a liveness proper...
详细信息
The Dijkstra, Martin, Lamport, Scholten, and Steffens (1978) algorithm is a well-known algorithm for concurrent garbage collection in a LISP-like setting. Presentation is made here of a new proof of a liveness property of the algorithm. The algorithm operates on data structures built of nodes. A null pointer value is symbolized as a pointer to node 0. A node may belong to a tree whose root is the special node ''ROOT'' or to a list called the free list, which starts with the special node ''FREE.'' However, a node may not belong to both at once. A node belonging to the tree beginning at ROOT or to the free list is called reachable. The collector runs in parallel with the mutator, gathering unreachable nodes and appending them to the free list. It is an important liveness property of the algorithm that no node always can be unreachable. An advantage that the proof has over other proofs found in the literature is that there is no need to introduce new concepts in order to prove liveness.
This paper addresses problems of learning programming languages for healthcare professionals. Learners may have limitation of time to understand and apply their knowledge and skills of these topics. This study aimed t...
详细信息
ISBN:
(纸本)9781450398091
This paper addresses problems of learning programming languages for healthcare professionals. Learners may have limitation of time to understand and apply their knowledge and skills of these topics. This study aimed to create a course design and a flexible learning platform to increase the flexibility learning platform for programming languages in both the normal and the COVID-19 situations. The way in which learners learn was discussed and designed. After a lecture-based session, students could use any of their computing devices including computers with several operating systems, tablets, and smartphones to practice the exercise. Students may workout whenever they wanted and from any locations when the internet connection was provided. In the course design, it began with the programming module and then follow by the computer system module. In this module, a flexible learning platform was constructed to teach the PHP. The real server was installed with Ubuntu Linux, and environments for running the PHP. For the client, only a web browser was enough to learn coding. However, some useful editors with the ability of remote syncing files on the server, were introduced. With this platform, instructors could easily review and modify codes written by learners. Learners also gained some experiences in the computer systems module, i.e., operating systems and network. This concept was applied on a course namely “Computer Systems and Principles of programming for Pharmaceutical and Health Informatics” in Master Degree in Pharmacy (Health Informatics) in academic year of 2021 during the COVID-19 situation. The results from the questionnaire suggested that the course design and the platform were very useful and flexible. Students had more knowledge and skills by using this learning environment.
暂无评论