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

international Mining Software Repositories, MSR

作者： César Soto-Valero Johann Bourcier Benoit Baudry Universidad Central de Las Villas Santa Clara Cuba University of Rennes l-IRISA Rennes France KTH Royal Institute of Technology Stockholm Sweden

A growing body of research in empirical software engineering applies recurrent patterns analysis in order to make sense of the developers' behavior during their interactions with IDEs. However, the exploration of hidden real-time structures of programming behavior remains a challenging task. In this paper, we investigate the presence of temporal behavioral patterns (T-patterns) in debugging activities using the thEME software. Our preliminary exploratory results show that debugging activities are strongly correlated with code editing, file handling, window interactions and other general types of programming activities. the validation of our T-patterns detection approach demonstrates that debugging activities are performed on the basis of repetitive and well-organized behavioral events. Furthermore, we identify a large set of T-patterns that associate debugging activities with build success, which corroborates the positive impact of debugging practices on software development.

关键词： Debugging Software Tools programming Task analysis Data visualization Data mining

来源：评论

学校读者我要写书评

暂无评论

What are Your programming Language's Energy-Delay Implications?

What are Your Programming Language's Energy-Delay Implicatio...

引用

international Mining Software Repositories, MSR

作者： Stefanos Georgiou Maria Kechagia Panos Louridas Diomidis Spinellis Athens University of Economics and Business Delft University of Technology

Motivation: Even though many studies examine the energy efficiency of hardware and embedded systems, those that investigate the energy consumption of software applications are still limited, and mostly focused on mobile applications. As modern applications become even more complex and heterogeneous a need arises for methods that can accurately assess their energy consumption. Goal: Measure the energy consumption and run-time performance of commonly used programming tasks implemented in different programming languages and executed on a variety of platforms to help developers to choose appropriate implementation platforms. Method: Obtain measurements to calculate the Energy Delay Prod- uct, a weighted function that takes into account a task's energy consumption and run-time performance. We perform our tests by calculating the Energy Delay Product of 25 programming tasks, found in the Rosetta Code Repository, which are implemented in 14 programming languages and run on three different computer platforms, a server, a laptop, and an embedded system. Results: Compiled programming languages are outperforming the interpreted ones for most, but not for all tasks. C, C#, and JavaScript are on average the best performing compiled, semi-compiled, and interpreted programming languages for the Energy Delay Product, and Rust appears to be well-placed for i/o-intensive operations, such as file handling. We also find that a good behaviour, energy- wise, can be the result of clever optimizations and design choices in seemingly unexpected programming languages.

关键词： Task analysis Computer languages programming Software Servers Energy consumption Portable computers

来源：评论

学校读者我要写书评

暂无评论

Developer Interaction Traces Backed by IDE Screen Recordings from think Aloud Sessions

Developer Interaction Traces Backed by IDE Screen Recordings...

引用

international Mining Software Repositories, MSR

作者： Aiko Yamashita Fabio Petrillo Foutse Khomh Yann-Gaël Guéhéneuc Oslo Metropolitan University Concordia University Polytechnique Montréal

there are two well-known difficulties to test and interpret methodologies for mining developer interaction traces: first, the lack of enough large datasets needed by mining or machine learning approaches to provide reliable results; and second, the lack of "ground truth" or empirical evidence that can be used to triangulate the results, or to verify their accuracy and correctness. Moreover, relying solely on interaction traces limits our ability to take into account contextual factors that can affect the applicability of mining techniques in other contexts, as well hinders our ability to fully understand the mechanics behind observed phenomena. the data presented in this paper attempts to alleviate these challenges by providing 600+ hours of developer interaction traces, from which 26+ hours are backed with video recordings of the IDE screen and developer's comments. this data set is relevant to researchers interested in investigating program comprehension, and those who are developing techniques for interaction traces analysis and mining.

关键词： Data mining Software Companies programming Java Machine learning Reliability

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Micro-Controller Training Kit with GUI Support

Design and Implementation of Micro-Controller Training Kit w...

引用

IEEE India conference (INDICON)

作者： Gautham Manoharan Febin thomas Eldho K. Joseph Jayadevan M. Amaljith K. Raghu C.V. Department of Electronics and Communication Engineering NIT Calicut Calicut India

ISBN: (纸本)9781538682364

Microcontrollers are paramount in various aspects of engineering. It has a wide range of applications in modern day urbanization and smart cities, thus making it a needful part of education. Microcontroller training kits with pre performed hardware connections, while less cumbersome than having to use an external board for connections, limit the user's knowledge of hardware interfacing. the practical sessions focus more on programming. While picking a training kit for learning, we face a tradeoff between convenience and awareness. this paper proposes a solution to tackle this problem with a new approach for the teaching of microcontroller courses. A microcontroller training kit that supports multiple microcontrollers, with GUI support is proposed. the GUI acts as a guide for the user to assist in hardware connection and programming. the proposed kit provides sockets to connect each component. the design is aimed at beginners to microcontroller programming while simultaneously catering to experts and industries.

关键词： Microcontroller Training kit LPC2148 PIC18 Microcontrollers graphical user interfaces programming Connections Training functional training

来源：评论

学校读者我要写书评

暂无评论

COMPLX: A Verification Framework for Concurrent Imperative Programs 2017

COMPLX: A Verification Framework for Concurrent Imperative P...

引用

6th acm sigplan conference on Certified Programs and Proofs (CPP)

作者： Amani, Sidney Andronick, June Bortin, Maksym Lewis, Corey Rizkallah, Christine Tuong, Joseph CSIRO Data61 Canberra ACT Australia UNSW Sydney NSW Australia Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9781450347051

We propose a concurrency reasoning framework for imperative programs, based on the Owicki-Gries (OG) foundational shared-variable concurrency method. Our framework combines the approaches of Hoare-Parallel, a formalisation of OG in Isabelle/HOL for a simple while-language, and SIMPL, a generic imperative language embedded in Isabelle/HOL, allowing formal reasoning on C programs. We define the COMPLX language, extending the syntax and semantics of SIMPL with support for parallel composition and synchronisation. We additionally define an OG logic, which we prove sound w.r.t. the semantics, and a verification condition generator, both supporting involved low-level imperative constructs such as function calls and abrupt termination. We illustrate our framework on an example that features exceptions, guards and function calls. We aim to then target concurrent operating systems, such as the interruptible eChronos embedded operating system for which we already have a model-level OG proof using Hoare-Parallel.

关键词： formal verification programming languages imperative code concurrency Owicki-Gries Isabelle/HOL

来源：评论

学校读者我要写书评

暂无评论

SafeGPU: Contract- and library-based GPGPU for object-oriented languages

引用

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2017年 48卷 68-88页

作者： Kolesnichenko, Alexey Poskitt, Christopher M. Nanz, Sebastian Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Singapore Univ Technol & Design Singapore Singapore Swiss Fed Inst Technol Chair Software Engn Zurich Switzerland

Using GPUs as general-purpose processors has revolutionized parallel computing by providing, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to their widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. this paper proposes a programming approach, SafeGPU, that aims to make GPU data-parallel operations accessible through high-level libraries for object-oriented languages, while maintaining the performance benefits of lower-level code. the approach provides data-parallel operations for collections that can be chained and combined to express compound computations, with data synchronization and device management all handled automatically. It also integrates the design-by-contract methodology, which increases confidence in functional program correctness by embedding executable specifications into the program text. We present a prototype of SafeGPU for Eiffel, and show that it leads to modular and concise code that is accessible for GPGPU non-experts, while still providing performance comparable with that of hand-written CUDA code. We also describe our first steps towards porting it to C#, highlighting some challenges, solutions, and insights for implementing the approach in different managed languages. Finally, we show that runtime contract-checking becomes feasible in SafeGPU, as the contracts can be executed on the GPU. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： GPGPU Parallel computing Runtime code generation Generative programming Object-orientation Managed languages Design-by-contract Program correctness

来源：评论

学校读者我要写书评

暂无评论

A Reactive Specification Formalism for Enhancing System Development, Analysis and Adaptivity 17

A Reactive Specification Formalism for Enhancing System Deve...

引用

15th acm-IEEE international conference on Formal Methods and Models for System Design (MEMOCODE)

作者： Marron, Assaf Weizmann Inst Sci Rehovot Israel

ISBN: (纸本)9781450350938

During system development, external reviewers, especially ones with expertise in the problem domain or in system and software engineering (SE), often contribute insights that up to that point were not noticed by the engineers and other project stakeholders. these reviewers apparently do so by employing special human competencies that presently are not, or even cannot be, automated. Consider, for example, the competencies that enable the following review comments about a home-assistant robot: (a) during code review: "I see that the robot can defers command execution until it charges its battery for the task; When done charging, does the robot check if the action is still needed?"; (b) following a demo: "Will the robot trip over a thin ,transparent phone cord?"; and (c) "Some clear voice commands had to be repeated. Perhaps sometimes the robot isn't listening?".

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Liam: An Actor Based programming Model for HDLs 17

Liam: An Actor Based Programming Model for HDLs

引用

15th acm-IEEE international conference on Formal Methods and Models for System Design (MEMOCODE)

作者： Skinner, Haven Possignolo, Rafael Trapani Renau, Jose Dept Comp Engn Santa Cruz CA 95064 USA

ISBN: (纸本)9781450350938

the Liam paradigm is a collection of constructs aimed at managing latency-insensitive behavior. these constructs are language-agnostic, although implementing them requires integrating them into the compilater. For this paper, we use a custom, Python-like HDL called Pyrope to both provide concise code samples, and because the Pyrope compiler was designed with Liam-integration in mind.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Demo: IBlink: Smart glasses for facial paralysis patients 17

Demo: IBlink: Smart glasses for facial paralysis patients

引用

15th acm international conference on Mobile Systems, Applications, and Services, MobiSys 2017

作者： Xiong, Sijie Zhu, Sujie Ji, Yisheng Jiang, Binyao Tian, Xiaohua Zheng, Xuesheng Wang, Xinbing School of Electronic Info. and Electrical Engineering Shanghai Jiao Tong University China Xin Hua Hospital Affiliated to Shanghai Jiao Tong University School of Medicine China

ISBN: (纸本)9781450349284

Facial paralysis is a disease caused by nerve damage, which can make patients lose facial movements. Facial paralysis patients usually have muscles on one side of the face noticeably droop, which seriously impacts the person's quality of life as shown in Fig. 1. Worse still, the eye on the affected side is unable to blink and will become dry and infected by debries, which can incur eye damage even blindness. To the best of scientists' knowledge, the paralysis is due to the pressure incurred by infection in the tunnel containing main trunk of facial nerves, where the tunnel is inside of the people's head termed as the Facial canal. © 2017 Copyright held by the owner/author(s).

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Elevate embedded real-time programming with a synchronous language 17

Elevate embedded real-time programming with a synchronous la...

引用

15th acm-IEEE international conference on Formal Methods and Models for System Design (MEMOCODE)

作者： Grosch, Franz-Josef Robert Bosch GmbH Gerlingen Germany

ISBN: (纸本)9781450350938

Product development at companies such as Bosch requires systems engineering for digital hardware and mechatronic components as well as software engineering for resource-constrained real-time applications cooperating with distributed server applications. While many of the involved engineering disciplines greatly benefit from model-based approaches and from advances in software infrastructures, deeply embedded software still is written in C since the seventies and runs on platforms designed in the nineties (e.g. OSEK). Simulation tools like Simulink or Modelica are used to test discrete code against continuous plant models or to generate code for certain aspects, but they do not really provide modern implementation technologies to address software architecture and qualities or to make embedded programming "attractive" for software *** regard synchronous languages as suitable to solve many of the issues in the integration (causality) and synchronisation (clocks) of time-triggered and event-triggered embedded functions that exhibit their behaviour over time steps and are coordinated according to their mode-switching in a structured synchronous control flow. Searching for an imperative synchronous language (with deterministic concurrent composition, and synchronous control flow), equipped with features for encapsulation and composition (objects, packages, separate compilation) and supporting programming parallel tasks deployed to separate cores (clock refinement and deterministic inter-task communication), we ended up in designing our own language, suitable for resource-constrained, real-time applications running on multi-core *** will explain the main requirements and features of this language, how they integrate with the principles of a synchronous language, how they can be applied to typical everyday problems in embedded development, and how such locally synchronous services may integrate in a globally asynchronous service architecture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：