检索结果-内蒙古大学图书馆

9th international conference on Computer Supported Education (CSEDU)

作者： Martin, Chris Hughes, Janet Richards, John Univ Dundee Life Sci CITR Dundee Scotland Open Univ Sch Comp & Commun Edinburgh Midlothian Scotland IBM TJ Watson Res Ctr Yorktown Hts NY 10598 USA Univ Dundee Dundee Scotland

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.

关键词： programming Physical Interface Screen-based Interface Learner Motivation Emotional Response

来源：评论

学校读者我要写书评

暂无评论

programming Safety Requirements in the REFLECT Design Flow

Programming Safety Requirements in the REFLECT Design Flow

引用

9th IEEE international conference on Industrial Informatics (INDIN)

作者： Petrov, Zlatko Kratky, Kamil Cardoso, Joao M. P. Diniz, Pedro C. Honeywell International s.r.o. Czech Republic

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.

关键词： FPGA-based embedded systems Fault tolerant systems Hardware LARA programming language REFLECT design flow Redundancy Safety Software Weaving aerospace computing aspect-oriented programming aspect-oriented programming language avionics avionics application custom computing unit embedded systems field programmable gate array field programmable gate arrays general purpose processor hardware-software embedded systems multiprocessing systems programming languages rendering FPGA to multicore embedded computing safety requirement programming safety-critical software software code strategy-oriented programming language

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented programming of Video-Based Surveillance Systems

Aspect-Oriented Programming of Video-Based Surveillance Syst...

引用

9th IEEE international conference on Industrial Informatics (INDIN)

作者： Cardoso, N. Peixoto, N. Cabral, J. Mendes, J. Monteiro, J. Tavares, A. Univ Minho Ctr Algoritmi Dept Ind Elect P-4719 Braga Portugal

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.

关键词： Databases Engines Graphics processing unit Libraries Pipelines Surveillance System performance aspect-oriented programming aspect-oriented programming dynamic programming dynamic programming technique inheritance function video signal processing video surveillance video-based surveillance systems virtual function

来源：评论

学校读者我要写书评

暂无评论

functional Reactive programming, Refactored 9

Functional Reactive Programming, Refactored

引用

9th ACM SIGPLAN Symposium on Haskell (Haskell 2016)

作者： Perez, Ivan Baerenz, Manuel Nilsson, Henrik Univ Nottingham Nottingham England Univ Bamberg Bamberg Germany

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.

关键词： functional reactive programming reactive programming stream programming monadic streams Haskell

来源：评论

学校读者我要写书评

暂无评论

Generics for the masses

Generics for the masses

引用

9th international conference on functional programming

作者： Hinze, Ralf Univ Bonn Inst Informat 3 D-53117 Bonn Germany

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.

关键词： Generic programming Haskell 98 Type classes

来源：评论

学校读者我要写书评

暂无评论

Model for Dynamic Grain Sizing through Compound Parallelization for an Optimization Problem Solving Grid Application 08

Model for Dynamic Grain Sizing Through Compound Parallelizat...

引用

9th IEEE/ACM international conference on Grid Computing

作者： Wahib, M. Munawar, Asim Munetomo, Masaharu Kiyoshi, Akama Hokkaido Univ Grad Sch Info Sci & Tech Sapporo Hokkaido Japan Hokkaido Univ Informat Initiat Ctr Sapporo Hokkaido Japan

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.

关键词： Optimization Computational modeling Grain size Java programming Superluminescent diodes Registers

来源：评论

学校读者我要写书评

暂无评论

Computer aided systems for target language teaching simplification

Computer aided systems for target language teaching simplifi...

引用

9th international conference on the Experience of Designing and Application of CAD Systems in Microelectronics

作者： Kushnir, Yuri Sviridova, Tatyana Marikutsa, Ulyana Sasenyuk, Yulia Zakaulov, Alexander Lviv Polytehn Natl Univ Lvov Ukraine

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

关键词： CALL computer aided translation symbolic programming Prolog

来源：评论

学校读者我要写书评

暂无评论

Local variable scoping and Kleene algebra with tests

引用

JOURNAL OF LOGIC AND ALGEBRAIC programming 2008年第1期76卷 3-17页

作者： Aboul-Hosn, Kamal Kozen, Dexter Cornell Univ Dept Comp Sci Ithaca NY 14853 USA

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.

关键词： Kleene algebra Kleene algebra with tests program verification variable scoping programming with state

来源：评论

学校读者我要写书评

暂无评论

Integer programming Based Heterogeneous CPU-GPU Cluster Scheduler for SLURM Resource Manager

Integer Programming Based Heterogeneous CPU-GPU Cluster Sche...

引用

14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)

作者： Soner, Seren Ozturan, Can Bogazici Univ Dept Comp Engn Istanbul Turkey

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/.

关键词： scheduling integer programming SLURM

来源：评论

学校读者我要写书评

暂无评论

URI Online Judge Academic: A Tool for Algorithms and programming Classes 9

URI Online Judge Academic: A Tool for Algorithms and Program...

引用

9th IEEE international conference on Computer Science and Education (ICCSE)

作者： Bez, Jean Luca Tonin, Neilor A. Rodegheri, Paulo R. Univ Reg Integrada Comp Sci & Engn Dept Erechim RS Brazil

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.

关键词： programming practice learning tool online judge

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：