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

Proceedings of the 21st international conference on Software engineering

作者： Anita Jacob Nansen Environmental and Remote Sensing Center Edvard Griegs Vei 3A 5059 Bergen Norway

No abstract available.

ISBN: (纸本)9781581130744

No abstract available.

关键词： design patterns

来源：评论

学校读者我要写书评

暂无评论

Pretenuring for Java 01

Pretenuring for Java

引用

acm sigplan conference on Object-oriented programming, Systems, languages, and Applications

作者： Stephen M. Blackburn Sharad Singhai Matthew Hertz Kathryn S. McKinely J. Eliot B. Moss Arthitecture and Language Implementation Laboratory Department of Computer Science University of Massachusetts Amherst MA

ISBN: (纸本)1581133359

Pretenuring can reduce copying costs in garbage collectors by allocating long-lived objects into regions that the garbage collector with rarely, if ever, collect. We extend previous work on pretenuring as follows. (1) We produce pretenuring advice that is neutral with respect to the garbage collector algorithm and configuration. We thus can and do combine advice from different applications. We find that predictions using object lifetimes at each allocation site in Java prgroams are accurate, which simplifies the pretenuring implementation. (2) We gather and apply advice to applications and the Jalapeno JVM, a compiler and run-time system for Java written in Java. Our results demonstrate that building combined advice into Jalapeno from different application executions improves performance regardless of the application Jalapeno is compiling and executing. This build-time advice thus gives user applications some benefits of pretenuring without any application profiling. No previous work pretenures in the run-time system. (3) We find that application-only advice also improves performance, but that the combination of build-time and application-specific advice is almost always noticeably better. (4) Our same advice improves the performance of generational and Older First colleciton, illustrating that it is collector neutral.

关键词： waste collection Java Java programming language Suggestion run-time system user application time system compilers

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2022 6th International conference on Education and E-Learning, ICEEL 2022

Proceedings of the 2022 6th International Conference on Educ...

引用

6th International conference on Education and E-Learning, ICEEL 2022

ISBN: (纸本)9781450398428

The proceedings contain 45 papers. The topics discussed include: promoting a common testbed for natural deduction tutoring systems;integrating stand-alone new media technologies such as games and virtual and augmented reality software into learning management systems: integrating stand-alone media software into LMSs;simplifying the creation and maintenance of automated assessments of programming tasks via test specific language;CloudPES: cloud portal of educational services for higher education institutions in Nigeria;interface design guidelines for low literate users: a literature review;design and implementation of system of recognition of students’ learning behavior in classroom teaching videos;comparison of natural deduction theorem provers used in electronic tutoring systems;innovative learning and training approach in business – a systematic business games and literature review;and factors affecting grade eight students’ learning motivation in Chinese reading when learning with flipped classroom approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design and implementation of an IoT-Based Surveillance System using Raspberry Pi, Camera, and Motion Sensor 23

Design and Implementation of an IoT-Based Surveillance Syste...

引用

7th International conference on E-Commerce, E-Business and E-Government, ICEEG 2023

作者： Chaichana, Kaveepon Netinant, Paniti Pukdesree, Sorapak College of Digital Innovation Technology Rangsit University Thailand Faculty of Digital Innovation Technology Bangkok University Thailand

ISBN: (纸本)9798400708398

Integrating the internet of things (IoT) technology has played a crucial role in developing smart devices such as smartphones, automobiles, smart homes, and artificial intelligence. As a result, researchers have investigated IoT-based home security system development. This research aims to create a system that uses Raspberry Pi, a small computer board, and various sensors to detect intruders and notify users via the internet. The Python programming language and OpenCV library were used to develop the system, which uses a camera and PIR (Passive Infrared Sensor) to detect faces and motion, respectively. The proposed system is designed to monitor specific areas and can be implemented in future home security innovations. In addition, the system sends notifications to users via Line Notify, enabling developers to send messages to LINE users via an API, thereby enhancing the security of homeowners. Utilizing the capabilities of IoT technology, the results of this study are to develop a cost-effective and efficient home security solution. © 2023 acm.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Haemo dialysis software architecture design experiences 99

Haemo dialysis software architecture design experiences

引用

Proceedings of the 21st international conference on Software engineering

作者： PerOlof Bengtsson Jan Bosch Department of Software Engineering and Computer Science University of Karlskrona/Ronneby S-372 25 Ronneby Sweden

来源：评论

学校读者我要写书评

暂无评论

Bee+Cl@k: An implementation of lattice-based array contraction in the source-to-source translator ROSE

引用

acm sigplan NOTICES 2007年第7期42卷 73-82页

作者： Alias, Christophe Baray, Fabrice Darte, Alain CNRS ENS Lyon UCB Lyon LIP F-75700 Paris France

We build on prior work on intra-array memory reuse, for which a general theoretical framework was proposed based on lattice theory. Intra-array memory reuse is a way of reducing the size of a temporary array by folding, thanks to a. ne mappings and modulo operations, reusing memory locations when they contain a value not used later. We describe the algorithms needed to implement such a strategy. Our implementation has two parts. The first part, Bee, uses the source-to-source transformer ROSE to extract from the program all necessary information on the lifetime of array elements and to generate the code after memory reduction. The second part, Cl@k, is a stand-alone mathematical tool dedicated to optimizations on polyhedra, in particular the computation of successive minima and the computation of good admissible lattices, which are the basis for lattice-based memory reuse. Both tools are developed in C++ and use linear programming and polyhedra manipulations. They can be used either for embedded program optimizations, e. g., to limit memory expansion introduced for parallelization, or in high-level synthesis, e. g., to design memories between communicating hardware accelerators.

关键词： memory reduction source-to-source transformations program analysis lattices algorithms experimentation theory

来源：评论

学校读者我要写书评

暂无评论

An expressive aspect language for system applications with Arachne 05

An expressive aspect language for system applications with A...

引用

AOSD 2005: 4th International conference on Aspect-Oriented Software Development

作者： Douence, Rémi Fritz, Thomas Loriant, Nicolas Menaud, Jean-Marc Ségura-Devillechaise, Marc Südholt, Mario OBASCO Project E ´Cole des Mines de Mantes INRIA 4 rue Alfred Kastler 44307 Nantes Cedex 3 France

ISBN: (纸本)1595930434

C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples of such concerns. While these concerns can partially be addressed during design and implementation of an application, they frequently become an issue at runtime, e.g., to avoid server downtime. A deployed network protocol might not be efficient enough and may thus need to be replaced. Buffer overflows might be discovered that imply critical breaches in the security model of an application. A prefetching strategy may be required to enhance performance. While aspect-oriented programming seems attractive in this context, none of the current aspect systems is expressive and efficient enough to address such concerns. This paper presents a new aspect system to provide a solution to this problem. While efficiency considerations have played an important part in the design of the aspect language, the language allows aspects to be expressed more concisely than previous approaches. In particular, it allows aspect programmers to quantify over sequences of execution points as well as over accesses through variable aliases. We show how the former can be used to modularize the replacement of network protocols and the latter to prevent buffer overflows. We also present an implementation of the language as an extension of Arachne, a dynamic weaver for C applications. Finally, we present performance evaluations supporting that Arachne is fast enough to extend high performance applications, such as the Squid web cache. Copyright 2005 acm.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language 89

Customization: optimizing compiler technology for SELF, a dy...

引用

Proceedings of the acm sigplan 1989 conference on programming language design and implementation

作者： C. Chambers D. Ungar Stanford University

ISBN: (纸本)9780897913065

Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementation techniques extract static type information from declaration-free programs. Our system compiles several copies of a given procedure, each customized for one receiver type, so that the type of the receiver is bound at compile time. The compiler predicts types that are statically unknown but likely, and inserts run-time type tests to verify its predictions. It splits calls, compiling a copy on each control path, optimized to the specific types on that path. Coupling these new techniques with compile-time message lookup, aggressive procedure inlining, and traditional optimizations has doubled the performance of dynamically-typed object-oriented languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Piranha: Reducing Feature Flag Debt at Uber 42

Piranha: Reducing Feature Flag Debt at Uber

引用

42nd acm/IEEE International conference on Software Engineering - Companion Proceedings (ICSE-Companion) / 42nd acm/IEEE International conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)

作者： Ramanathan, Murali Krishna Clapp, Lazaro Barik, Rajkishore Sridharan, Manu Uber Technol Inc New York NY 10001 USA Univ Calif Riverside Riverside CA 92521 USA

ISBN: (纸本)9781450371230

Feature flags are commonly used in mobile app development and can introduce technical debt related to deleting their usage from the codebase. This can adversely affect the overall reliability of the apps and increase their maintenance complexity. Reducing this debt without imposing additional overheads on the developers necessitates the design of novel tools and automated workflows. In this paper, we describe the design and implementation of PIRANHA, an automated code refactoring tool which is used to automatically generate differential revisions (a.k.a diffs) to delete code corresponding to stale feature flags. PIRANHA takes as input the name of the flag, expected treatment behavior, and the name of the flag's author. It analyzes the ASTs of the program to generate appropriate refactorings which are packaged into a diff. The diff is assigned to the author of the flag for further processing, who can land it after performing any additional refactorings. We have implemented PIRANHA to delete code in Objective-C, Java, and Swift programs, and deployed it to handle stale flags in multiple Uber apps. We present our experiences with the deployment of PIRANHA from Dec 2017 to May 2019, including the following highlights: (a) generated code cleanup diffs for 1381 flags (17% of total flags), (b) 65% of the diffs landed without any changes, (c) over 85% of the generated diffs compile and pass tests successfully, (d) around 80% of the diffs affect more than one file, (e) developers process more than 88% of the generated diffs, (f) 75% of the generated diffs are processed within a week, and (g) PIRANHA diffs have been interacted with by similar to 200 developers across Uber. Piranha is available as open source at https://***/uber/piranha.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations

引用

acm sigplan NOTICES 2006年第1期41卷 55-66页

作者： Bishop, S Fairbairn, M Norrish, M Sewell, P Smith, M Wansbrough, K Univ Cambridge Comp Lab Cambridge CB2 1TN England NICTA Canberra ACT Australia

The TCP/IP protocols and Sockets API underlie much of modem computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common implementations, including, for example, the 15 00020000 lines of C in the BSD implementation. Dealing rigorously with the behaviour of such bodies of code is challenging. We have recently developed a post-hoe specification of TCP, UDP, and Sockets that is rigorous, detailed, readable, has broad coverage, and is remarkably accurate. In this paper we describe the novel techniques that were required. Working within a general-purpose proof assistant (HOL), we developed language idioms (within higher-order logic) in which to write the specification: operational semantics with nondeterminism, time, system calls, monadic relational programming, etc. We followed an experimental semantics approach, validating the specification against several thousand traces captured from three implementations (FreeBSD, Linux, and WinXP). Many differences between these were identified, and a number of bugs. Validation was done using a special-purpose symbolic model checker programmed above HOL. We suggest that similar logic engineering techniques could be applied to future critical software infrastructure at design time, leading to cleaner designs and (via specification-based testing using a similar checker) more predictable implementations.

关键词： documentation design standardization theory verification network protocols TCP/IP sockets API specification conformance testing higher-order logic HOL operational semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：