A concert of performances in the FARM workshop tradition, taking place 9th September 2017 in the Old Fire Station, Oxford. the performers will all use functionalprogramming and related techniques, to create live musi...
详细信息
ISBN:
(纸本)9781450351805
A concert of performances in the FARM workshop tradition, taking place 9th September 2017 in the Old Fire Station, Oxford. the performers will all use functionalprogramming and related techniques, to create live music and visuals. We introduce this evening by describing the ideas and technologies behind the performances, together with biographies of the artists involved.
the paper describes a new programming technology-ISC, developed on the basis of the principles and approaches of the planning languages for the behavior of intelligent agents. At the same time, functions were refined ...
详细信息
the paper describes a new programming technology-ISC, developed on the basis of the principles and approaches of the planning languages for the behavior of intelligent agents. At the same time, functions were refined and new added: reasoning, building a world model, identifying causes and effects, associating, self-research of their capabilities and the possibilities of surrounding objects. In the function of the ISC, the methods of programming perception, reaction and adaptation to new connected means of interaction between an intellectual object and the outside world, new modalities are also included. (C) 2018 the Authors. Published by Elsevier B.V. this is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0/) Peer-review under responsibility of the scientific committee of the 9th Annual internationalconference on Biologically Inspired Cognitive Architectures.
We advocate a novel programming approach we call slotted programmingthat not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding through a truly modular design. the approach...
详细信息
ISBN:
(纸本)9781605589886
We advocate a novel programming approach we call slotted programmingthat not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding through a truly modular design. the approach is based on the temporal decoupling of the different tasks of a sensor node such that at any time at most one task is active. In contrast to traditional sensor network programming, slotted programming guarantees that each of these tasks can be implemented as an independent software module, simplifying not only the coding and testing phase, but also the code reuse in a different context. In addition, we believe that the proposed approach is highly qualified for energy efficient and real time applications. To substantiate our claims, we have implemented slotos, an extension to TinyOS that supports slotted programming. Within this framework, we demonstrate the advantages of the slotted programming paradigm.
We think that people will find it easier to learn concurrency concepts if they can play a game that challenges the player to solve puzzles using the same techniques required by a programmer to develop concurrent progr...
详细信息
ISBN:
(纸本)9789897582394
We think that people will find it easier to learn concurrency concepts if they can play a game that challenges the player to solve puzzles using the same techniques required by a programmer to develop concurrent programs. this article presents two such games in which multiple threads of control are represented by multiple avatars that can perform actions concurrently in a game environment. the player controls the avatars by specifying a sequence of actions for each avatar to execute using a block-based visual syntax, independent of programming language. the avatars execute their actions in the game environment, showing the effect of every action.
this paper describes a performance study of Remote Direct Memory Access (RDMA) programming techniques. Its goal is to use these results as a guide for making "best practice" RDMA programming decisions. Infin...
详细信息
ISBN:
(纸本)9780769547497
this paper describes a performance study of Remote Direct Memory Access (RDMA) programming techniques. Its goal is to use these results as a guide for making "best practice" RDMA programming decisions. Infiniband RDMA is widely used in scientific high performance computing (HPC) clusters as a low-latency, high-bandwidth, reliable interconnect accessed via MPI. Recently it is gaining adherents outside scientific HPC as high-speed clusters appear in other application areas for which MPI is not suitable. RDMA enables user applications to move data directly between virtual memory on different nodes without operating system intervention, so there is a need to know how to incorporate RDMA access into high-level programs. But RDMA offers more options to a programmer than traditional sockets programming, and it is not always obvious what the performance tradeoffs of these options might be. this study is intended to provide some answers.
the correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. Ho...
详细信息
ISBN:
(纸本)9781509018277
the correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. However, since functional programs are usually structurally different from imperative ones, it is unclear whether the same result may be derived and coverage can be used as a prediction of effectiveness on functional programs. In this paper we report the first empirical study on the correlation between test coverage and test effectiveness on functional programs. We consider four types of coverage: as input coverages, statement/branch coverage and expression coverage, and as oracle coverages, count of assertions and checked coverage. We also consider two types of effectiveness: raw effectiveness and normalized effectiveness. Our results are twofold. (1) In general the findings on imperative programs still hold on functional programs, warranting the use of coverage in practice. (2) On specific coverage criteria, the results may be unexpected or different from the imperative ones, calling for further studies on functional programs.
this paper is concerned with developing a computer programming strategy for Viennese waltz behaviour for the robot pictured in figure 1. Such behaviour means combined translation and rotation. A sun and planet wheel m...
详细信息
ISBN:
(纸本)9781424403417
this paper is concerned with developing a computer programming strategy for Viennese waltz behaviour for the robot pictured in figure 1. Such behaviour means combined translation and rotation. A sun and planet wheel model the behaviour and equations are developed for the six legs to create such behaviour. the planet wheel is divided into discrete angles and the concept of a digital planet wheel is originated such that a programming strategy can be developed. Normalised equations are then developed based on the digital planet wheel.
Effective learning method is essential for the attainment of the learning objectives. In pandemic situation when courses are conducted online, creativity and innovation in designing learning methods become more impera...
详细信息
ISBN:
(纸本)9781665419338
Effective learning method is essential for the attainment of the learning objectives. In pandemic situation when courses are conducted online, creativity and innovation in designing learning methods become more imperative. Learning Android programming via online course is much harder for students and teachers. Without a real face-to-face meeting, their interactions become limited and this condition produces several prominent issues. this paper presents the implementation of Android programming Learning Assistance System (APLAS) as a self-learning tool to address the issues in online Android programming course. APLAS is blended into the course that used two tools, Learning Management System (LMS) and online meeting tool. Findings reveal that the blending of APLAS into an online course of Android programming is effective to improve students' achievement and makes it easier for them to learn Android programming. Students also show high enthusiasm and attractiveness to the course. Preference for being collectivist learners was also evident.
Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in large software projects is tedious and error-prone. this is due to many special cases, such as field shadowing, compar...
详细信息
ISBN:
(纸本)9781450301541
Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in large software projects is tedious and error-prone. this is due to many special cases, such as field shadowing, comparison between different types, or cyclic object graphs. Here, we present JEqualityGen, a source code generator that automatically derives implementations of these methods. JEqualityGen proceeds in two states: it first uses source code reflection in MetaAspectJ to generate aspects that contain the method implementations, before it uses weaving on the bytecode level to insert these into the target application. JEqualityGen generates not only correct, but efficient source code that on a typical large-scale Java application exhibits a performance improvement of more than two orders of magnitude in the equality operations generated, compared to an existing system based on runtime reflection. JEqualityGen achieves this by generating runtime profiling code that collects data. this enables it to generate optimised method implementations in a second round.
this paper presents a wire antenna for multi-band WLAN application, designed using the Structure-Based Evolutionary programming, and having a very simple geometry. the antenna has been analysed with NEC-2 during the e...
详细信息
ISBN:
(纸本)9781467324809
this paper presents a wire antenna for multi-band WLAN application, designed using the Structure-Based Evolutionary programming, and having a very simple geometry. the antenna has been analysed with NEC-2 during the evolutionary process, and the outcome of the procedure shows a very good performance, with a -10dB bandwidththat covers the required frequencies for multi-band WLAN applications (2.4/5.2/5.8 GHz) and beyond, and an end-fire gain greater than 11 dB.
暂无评论