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

Australasian Computer Architecture Conference

作者： Jongwook Woo Isabelle Attali Denis Caromel Jean-Luc Gaudiot Andrew L. Wendelborn University of Southern California Los Angeles CA University of Nice Sophia Antipolis BP 93 06902 Sophia Antipolis Cedex - France University of Adelaide SA 5005

ISBN: (纸本)0769509630

The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time flow-sensitive context-insensitive alias analysis algorithm with type information for java. First, we propose an aliased element representation for an object to compute aliases efficiently. Second, the algorithm computes aliases for shadowed variables by regarding constructors as functions. Third, it performs type inference for each reference variable. The inferred type information increases the precision of subsequent alias analysis by building a complete calling graph, not only for overridden methods but also for both shadowed variables and constructors. Fourth, it presents algorithms to compute aliases for each statement. As a result, the precision and efficiency of the algorithm is improved.

关键词： reasoning about programs java java programming language Precision algorithms reference variable information-type Social Hierarchy Statement algorithm efficiency Analysis Variable

来源：评论

学校读者我要写书评

暂无评论

Trusted Remote Function Interface

Trusted Remote Function Interface

引用

IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)

作者： Mark E. Royer Sudarshan S. Chawathe School of Computing and Information Science University of Maine Orono Maine USA

ISBN: (纸本)9781728138862

The Trusted Remote Function Interface (TRFI) is a small library that exposes services via a REST API to allow function execution with scientific programming languages. Functional units are uploaded to a remote server using the provided REST API. The API stores registered functions for later execution. Maintaining code using this technique allows clients to repeatedly execute functions without having the native language, typically Octave or Python, installed on the client machine. A common problem in scientific applications is the requirement for a program to interface with scientific scripting languages. Typically, this is not a straightforward approach for accomplishing the data exchange and subsequent function execution on that data from popular languages such as java or javaScript. This task is extraordinarily cumbersome if the interpreter, used by the scientific programming language, is not installed locally. By separating the function signature from the underlying implementation, and providing a uniform REST API, the TRFI library allows function interfacing in two ways. First, direct interfacing by using the equipped java library. Second, the more common scenario is interfacing remotely by deploying the library using aJAX-RS compatible web server. The result of the TRFI library's design and the provided REST API is the facilitation of code interoperability and reuse for scientific applications.

关键词： application program interfaces authoring languages Internet java open systems Python Application programming interfaces authoring languages Pythonidae java java programming language open systems Internets API AXIAL POWER INDICATOR American Petroleum Institute Python Function Libraries data exchange

来源：评论

学校读者我要写书评

暂无评论

SLACC: Simion-based language agnostic code clones

arXiv

引用

arXiv 2020年

作者： Mathew, George Parnin, Chris Stolee, Kathryn T. North Carolina State University

Successful cross-language clone detection could enable researchers and developers to create robust language migration tools, facilitate learning additional programming languages once one is mastered, and promote reuse of code snippets over a broader codebase. However, identifying cross-language clones presents special challenges to the clone detection problem. A lack of common underlying representation between arbitrary languages means detecting clones requires one of the following solutions: 1) a static analysis framework replicated across each targeted language with annotations matching language features across all languages, or 2) a dynamic analysis framework that detects clones based on runtime behavior. In this work, we demonstrate the feasibility of the latter solution, a dynamic analysis approach called SLACC for cross-language clone detection. Like prior clone detection techniques, we use input/output behavior to match clones, though we overcome limitations of prior work by amplifying the number of inputs and covering more data types;and as a result, achieve better clusters than prior attempts. Since clusters are generated based on input/output behavior, SLACC supports cross-language clone detection. As an added challenge, we target a static typed language, java, and a dynamic typed language, Python. Compared to HitoshiIO, a recent clone detection tool for java, SLACC retrieves 6 times as many clusters and has higher precision (86.7% vs. 30.7%). This is the frst work to perform clone detection for dynamic typed languages (precision = 87.3%) and the frst to perform clone detection across languages that lack a common underlying representation (precision = 94.1%). It provides a frst step towards the larger goal of scalable language migration tools. Copyright © 2020, The Authors. All rights reserved.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Simulation Model of the Computer's Units and Peripherial Equipment Interaction

Simulation Model of the Computer's Units and Peripherial Equ...

引用

International Conference on Complex Systems: Control and Modeling Problems (CSCMP)

作者： Natalia Efimushkina Sergey Orlov Nikolai Khrisanov Samara State Technical University Samara Russia

ISBN: (纸本)9781728167015

The paper deals with the principles of constructing a simulation model for studying the basic processes and devices in the computer I / O subsystem. The procedure for selecting the composition of the studied characteristics of input-output devices, as well as the structure and level of detail of the parameters of the objects under study is considered. Typical computer hardware with keyboard and monitor is offered as a peripheral device. When modeling, probabilistic characteristics of data processing in the input-output subsystem are set. The modeling program is developed in java in NetBeans 8.1. A user interface based on the animation of the processes in I / O subsystem is described. This provides obtaining a visual representation of interrupts, generation of control signals, and transfer of codes from peripheral devices to the memory and the central processor. The user interface provides the setting of the necessary modes and simulation parameters. The simulation results are presented in the form of time charts of devices and the numerical values of these characteristics. The input / output system under study can operate in one of three modes: only with information input, with data input and output to a monitor, and also only with data processing and output to a monitor. The paper presents the study results of the simulated system in various modes, confirming the adequacy of the developed model.

关键词： computer peripheral equipment computer simulation data visualisation graphical user interfaces input-output programs java peripheral interfaces input-output programs peripheral interfaces Data visualisation graphical user interfaces java java programming language Computer Simulation Simulation models Computer equipment User Interface Device Component MONITOR SUB-SYSTEM Computer hardware

来源：评论

学校读者我要写书评

暂无评论

Arrays in Practice An Empirical Study of Array Access Patterns on the JVM

arXiv

引用

arXiv 2024年

作者： Åkerblom, Beatrice Castegren, Elias Department of Computer and System Sciences Stockholm University Sweden Department of Information Technology Uppsala University Sweden

The array is a data structure used in a wide range of programs. Its compact storage and constant time random access makes it highly efficient, but arbitrary indexing complicates the analysis of code containing array accesses. Such analyses are important for compiler optimisations such as bounds check elimination. The aim of this work is to gain a better understanding of how arrays are used in real-world programs. While previous work has applied static analyses to understand how arrays are accessed and used, we take a dynamic approach. We empirically examine various characteristics of array usage by instrumenting programs to log all array accesses, allowing for analysis of array sizes, element types, from where arrays are accessed and to which extent sequences of array accesses form recognizable patterns. The programs in the study were collected from the Renaissance benchmark suite, all running on the java Virtual Machine. We account for characteristics displayed by the arrays investigated, finding that most arrays have a small size, are accessed by only one or two classes and by a single thread. On average over the benchmarks, 69.8% of the access patterns consist of uncomplicated traversals. Most of the instrumented classes (over 95%) do not use arrays directly at all. These results come from tracing data covering 3,803,043,390 array accesses made across 168,686 classes. While our analysis has only been applied to the Renaissance benchmark suite, the methodology can be applied to any program running on the java Virtual Machine. This study, and the methodology in general, can inform future runtime implementations and compiler optimisations. Copyright © 2024, The Authors. All rights reserved.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading 05

Interprocedural side-effect analysis and optimisation in the...

引用

Australasian Computer Science Conference

作者： Phung Hua Nguyen Jingling Xue University of New South Wales Sydney Australia

ISBN: (纸本)9781920682200

We introduce a new approach to computing interprocedural modification side effects for java programs in the presence of dynamic class loading. When compile-time unknown classes can be loaded dynamically, the points-to and modification sets computed statically based on the analysed program, called internal world, may be incomplete. Thus, the modification side effects cannot be determined based on such sets alone. We present a technique, called internal analysis (IA), to classify the references, objects and call sites in the analysed program so that we can determine which points-to and modification sets are definitely complete and which may be not. By combining the points-to sets and this classification, we obtain a new IA-based interprocedural side-effect analysis for determining the modification side-effects of any statement on any variable with good accuracy. We have implemented our algorithms in Soot. This paper demonstrates two important applications of this work: partial redundancy elimination(PRE) and copy propagation for field accesses. We report significantly increased opportunities in performing these optimisations over benchmarks when compared with a recently proposed technique in these areas. Our techniques are simple since they are flow-insensitive and achieve these improvements at small analysis costs.

关键词： Side Effect SETTING dynamic loading loading LOADING BENCHMARKS java Statement java programming language

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Logic Based Self-Driving Racing Car Control System

Fuzzy Logic Based Self-Driving Racing Car Control System

引用

International Conference on Control, Engineering & Information Technology (CEIT)

作者： Berk Korkmaz Ugur Bugra Etlik Aykut Beke Tufan Kumbasar Department of Control and Automation Engineering Istanbul Technical University Istanbul Turkey

ISBN: (纸本)9781538676424

In this study, we propose a fuzzy logic based self-driving car control system and its deployment into the javaScript Racer game. In the design of the self-driving system, it is aimed to design an intelligent vehicle control system such that the racing car finishes the race in the shortest time without getting out of the road. To accomplish such a goal, the proposed intelligent driving system takes up and merges the frameworks of control theory, fuzzy logic and computer vision. In this structure, computer vision is used for lane detection while the fuzzy logic control is employed for positioning and regulating the speed of the racing car. The paper presents in detail the structure and design of the intelligent driving system by presenting all of its design steps. The efficiency of the fuzzy logic based self-driving racing car control system is shown with results collected from the game environment.

关键词： automobiles computer games computer vision fuzzy control fuzzy logic java road vehicles traffic engineering computing Fuzzy logic Fuzzy control images computer vision control systems racing cars road vehicles Computer Games Automobiles java java programming language engineering computing automatic game Video Games Land transportation

来源：评论

学校读者我要写书评

暂无评论

Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for java 01

Extending and evaluating flow-insenstitive and context-insen...

引用

ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

作者： Donglin Liang Maikel Pennings Mary Jean Harrold College of Computing Georgia Institute of Technology Atlanta GA

ISBN: (纸本)9781581134131

This paper presents extensions to Steensgaard's and Andersen's algorithms to handle java features. Without careful consideration, the handling of these features may affect the correctness, precision, and efficiency of these algorithms. The paper also presents the results of empirical studies. These studies compare the precision and efficiency of these two algorithms and evaluate the effectiveness of handling java features using alternative approaches. The studies also evaluate the impact of the points-to information provided by these two algorithms on client analyses that use the information.

关键词： java java programming language algorithms Precision information algorithm efficiency

来源：评论

学校读者我要写书评

暂无评论

System design based on single language and single-chip java ASIP microcontroller 00

System design based on single language and single-chip Java ...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Sergio Akira Ito Luigi Carro Ricardo Pezzuol Jacobi Inst.of Computer Science UFRGS Brazil Electrical Engineering UFRGS Brazil Dept.of Computer Science UnB Brazil

ISBN: (纸本)0769505376

Microcontrollers have been playing an important role in the embedded market. However, the designer of microcontroller based systems must deal with different languages and tools in the hardware and software development, despite of their distinct design process. This paper presents a new design strategy to implement embedded applications described uniquely in java, while maintaining software compatibility throughout the design process. Moreover, the target hardware is a single chip FPGA, taking benefit from their low cost and easy reconfiguration to customize the microcontroller. This papers presents the environment and some results of system synthesis.

关键词： Microcontrollers design process java java programming language Software compatibility embedded application Computer hardware ASIP gene language updated design Software design computer software System design

来源：评论

学校读者我要写书评

暂无评论

Towards the Generation of Correct java Programs

Towards the Generation of Correct Java Programs

引用

International Conference on High Performance Computing and Simulation

作者： Jolan Philippe Frederic Loulergue Sch. of Inf. Comput. & Cyber Syst. Northern Arizona Univ. Flagstaff AZ USA

ISBN: (纸本)9781538678800

Proof assistants such as Coq [1] can be used to develop very high assurance software such as a verified C compiler [2] and verified high performance computing programs [3]. Even when not used for a full system, using such a proof assistant to develop critical parts of a system could be interesting, for example security monitors [4] or the reconfiguration mechanism of a component based system.

关键词： java programming Semantics High performance computing Security Monitoring Production facilities java java programming language High Performance Computing Semantics programming Posters Codes Manufacturing Facilities Security semiotics critical parts

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：