A study of undergraduate students learning to program compared the use of a physical interface with use of a screen-based equivalent interface to obtain insights into what made for an engaging learning experience. Emo...
详细信息
ISBN:
(纸本)9789897582394
A study of undergraduate students learning to program compared the use of a physical interface with use of a screen-based equivalent interface to obtain insights into what made for an engaging learning experience. Emotions characterized by the HUMAINE scheme were analysed, identifying the links between the emotions experienced during programming and their origin. By capturing the emotional experiences of learners immediately after a programming experience, evidence was collected of the very positive emotions experienced by learners developing a program using a physical interface (Arduino) in comparison with a similar program developed using a screen-based equivalent interface.
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedi...
详细信息
ISBN:
(纸本)9781457704345
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safety requirements are described using an aspect-and strategy-oriented programming language, named LARA, currently under development. the approach considers that the weavers in the tool chain use those safety requirements specified as aspects and strategies to produce final implementations according to specific design patterns. this paper presents our approach including LARA-based examples using an avionics application targeting the FPGA-based embedded systems consisting of a general purpose processor (GPP) coupled to custom computing units.
When developing video-based surveillance systems the developer faces a highly complex task due to the wide range of application domains where video-based surveillance systems are applied. As the number of domains of a...
详细信息
ISBN:
(纸本)9781457704345
When developing video-based surveillance systems the developer faces a highly complex task due to the wide range of application domains where video-based surveillance systems are applied. As the number of domains of application increases, so does the level of variability of non-functional and functional properties that needs to be managed by video-based surveillance systems. the traditional response to make the process of managing all system variations more flexible is to use modular architectures based on filters for video applications. these filters are implemented using dynamic programming techniques (i.e. inheritance and virtual functions) that induce an overhead on the system performance. As each filter is implemented as a plugin, the non-linearity produced by the use of plug-ins penalize the overall system performance due to a increase in the number of cache misses and page faults. In this paper, a novel approach is proposed. the use of Aspect-Oriented programming (AOP) is proposed to modularize system variability without compromising system performance. All the system variation points are implemented in aspects that are injected for a specific configuration on the common base code related to all configurations. the experimental results show that AOP improves the management of system heterogeneity without sacrificing system performance.
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, tur...
详细信息
ISBN:
(纸本)9781450344340
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by bench-marking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as show, re...
详细信息
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as show, read, and '=='. the recent years have seen a number of proposals that support the definition of generic functions. Some of the proposals define new languages, some define extensions to existing languages. As a common characteristic none of the proposals can be made to work within Haskell 98: they all require something extra, either a more sophisticated type system or an additional language construct. the purpose of this paper is to show that one can, in fact, program generically within Haskell 98 obviating to some extent the need for fancy type systems or separate tools. Haskell's type classes are at the heart of this approach: they ensure that generic functions can be defined succinctly and, in particular, that they can be used painlessly. We detail three different implementations of generics both from a practical and from a theoretical perspective.
MHGrid (Meta Heuristics Grid), a service oriented grid application offering global optimization solvers, allows developers to integrate their solvers and objective functions through an easy-to-use transparent mechanis...
详细信息
ISBN:
(纸本)9781424425785
MHGrid (Meta Heuristics Grid), a service oriented grid application offering global optimization solvers, allows developers to integrate their solvers and objective functions through an easy-to-use transparent mechanism. As a consequence of offering such a service, MHGrid hosts solvers and objective functions implementing diverse parallelization models leading later to different job grain size. Yet, the flexibility of the existing grid programming tools is limited if used individually. this paper proposes a model that uses a combination of grid parallel programming tools to enable the developers of MHGrid to specify their own parallelization model. Using this model the end user can choose the parallel model of the solver/objective function pair generating the grain size most appropriate to the problem in hand.
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An examp...
详细信息
ISBN:
(纸本)9789665335870
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An example of syntax analyzer for the Swedish language is included.
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We provide (i) a fully compositional relatio...
详细信息
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We provide (i) a fully compositional relational semantics for a first-order programming language with constructs for local variable declaration and destructive update;and (ii) an equational proof system based on Kleene algebra with tests for proving the equivalence of programs in this language. We show that the proof system is sound and complete relative to the underlying equational theory without local variables. We illustrate the use of the system with several examples. (C) 2007 Elsevier Inc. All rights reserved.
We present an integer programming based heterogeneous CPU-GPU cluster scheduler for the widely used SLURM resource manager. Our scheduler algorithm takes windows of jobs and solves an allocation problem in which free ...
详细信息
ISBN:
(纸本)9780769547497
We present an integer programming based heterogeneous CPU-GPU cluster scheduler for the widely used SLURM resource manager. Our scheduler algorithm takes windows of jobs and solves an allocation problem in which free CPU cores and GPU cards are allocated collectively to jobs so as to maximize some objective function. We perform realistic SLURM emulation tests using the Effective System Performance (ESP) workloads. the test results show that our scheduler produces better resource utilization and shorter average job waiting times. the SLURM scheduler plug-in that implements our algorithm is available at http://***/p/slurm-ipsched/.
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps the...
详细信息
ISBN:
(纸本)9781479929511
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps them sharpen their logical, algorithmically and programming skills. the Academic module enables professors to manage disciplines and lists of exercises on specific programming topics in a visual and organized online environment that presents several benefits compared to the traditional method of handwritten lists. the purpose of this article is to introduce the features and the benefits available in version 3.0 of the tool.
暂无评论