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

Reliability quest fuels RT java projects

学校读者我要写书评

暂无评论

Electronic Engineering Times

Electronic Engineering Times 2005年第1364期 28-28页

作者： Lammers, David

Several in progress real-time (RT) java projects by various companies are discussed. Two military programs are in progress and implementing RT java, while the Navy's DDX program aims to develop future warships, the Army's net-centric battlefield program links soldiers wearing helmets festooned with video cameras with each other and the battlefield commanders. Nortel and Ericsson each have used RT java to develop telecom equipment and basestations. NASA and Sun are also developing real-time specification for java (RTSJ) based control software for a Mars rover that could be deployed later in this decade.

关键词： java programming language

Defending Code language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Yang, Guang Zhou, Yu Chen, Xiang Zhang, Xiangyu Zhuo, Terry Lo, David Chen, Taolue Nanjing University of Aeronautics and Astronautics Nanjing China Nantong University Nantong China Monash University Australia Singapore Management University Singapore Birkbeck University of London London United Kingdom

Code language Models (CLMs), particularly those leveraging deep learning, have achieved significant success in code intelligence domain. However, the issue of security, particularly backdoor attacks, is often overlooked in this process. The previous research has focused on designing backdoor attacks for CLMs, but effective defenses have not been adequately addressed. In particular, existing defense methods from natural language processing, when directly applied to CLMs, are not effective enough and lack generality, working well in some models and scenarios but failing in others, thus fall short in consistently mitigating backdoor attacks. To bridge this gap, we first confirm the phenomenon of "early learning" as a general occurrence during the training of CLMs. This phenomenon refers to that a model initially focuses on the main features of training data but may become more sensitive to backdoor triggers over time, leading to overfitting and susceptibility to backdoor attacks. We then analyze that overfitting to backdoor triggers results from the use of the cross-entropy loss function, where the unboundedness of cross-entropy leads the model to increasingly concentrate on the features of the poisoned data. Based on this insight, we propose a general and effective loss function DeCE (Deceptive Cross-Entropy) by blending deceptive distributions and applying label smoothing to limit the gradient to bounded, which prevents the model from overfitting to backdoor triggers and then enhances the security of CLMs against backdoor attacks. To evaluate the effectiveness of our defense method, we select four code-related tasks as our experiments scenes and conduct experimental analyses on both natural language and two programming languages (java and Python). Our experiments across multiple models with different sizes (from 125M to 7B) and poisoning ratios demonstrate the applicability and effectiveness of DeCE in enhancing the security of CLMs. The findings emphasize the potent

关键词： java programming language

ChatGPT, Can You Generate Solutions for my Coding Exercises? An Evaluation on its Effectiveness in an undergraduate java programming Course

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Ouh, Eng Lieh Gan, Benjamin Kok Siew Shim, Kyong Jin Wlodkowski, Swavek Singapore Management University Singapore

In this study, we assess the efficacy of employing the ChatGPT language model to generate solutions for coding exercises within an undergraduate java programming course. ChatGPT, a large-scale, deep learning-driven natural language processing model, is capable of producing programming code based on textual input. Our evaluation involves analyzing ChatGPT-generated solutions for 80 diverse programming exercises and comparing them to the correct solutions. Our findings indicate that ChatGPT accurately generates java programming solutions, which are characterized by high readability and well-structured organization. Additionally, the model can produce alternative, memory-efficient solutions. However, as a natural language processing model, ChatGPT struggles with coding exercises containing non-textual descriptions or class files, leading to invalid solutions. In conclusion, ChatGPT holds potential as a valuable tool for students seeking to overcome programming challenges and explore alternative approaches to solving coding problems. By understanding its limitations, educators can design coding exercises that minimize the potential for misuse as a cheating aid while maintaining their validity as assessment tools. © 2023, CC BY-NC-ND.

关键词： java programming language

Compiling a High-Level language for GPUs 12

学校读者我要写书评

暂无评论

Compiling a High-Level Language for GPUs

ACM SIGPLAN Conference on programming language Design and Implementation

作者： Christophe Dubach Perry Cheng Rodric Rabbah David F. Bacon Stephen J. Fink University of Edinburgh IBM Research

ISBN: (纸本)9781450312059

languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous low-level details involving communication and synchronization. This burden makes programming GPUs difficult and error-prone, rendering these powerful devices inaccessible to most programmers. We desire a higher-level programming model that makes GPUs more accessible while also effectively exploiting their computational power. This paper presents features of Lime, a new java-compatible language targeting heterogeneous systems, that allow an optimizing compiler to generate high quality GPU code. The key insight is that the language type system enforces isolation and immutability invariants that allow the compiler to optimize for a GPU without heroic compiler analysis. Our compiler attains GPU speedups between 75% and 140% of the performance of native OpenCL code.

关键词： Design languages Performance GPU OpenCL java Lime Streaming Map Reduce language Streaming GRAPPER PICK UP Graphics Processing Unit lime Reduce java java programming language compilers MAPPING(MATHEMATICAL) language form Computer personnel high level language(hll) Optimising compilers general purpose programming

Effects of False Sharing and Locality on Object Layout Optimization for Multi-Threaded Applications

学校读者我要写书评

暂无评论

Effects of False Sharing and Locality on Object Layout Optim...

IEEE Canadian Conference on Electrical and Computer Engineering

作者： Taees Eimouri Kenneth B. Kent Aleksandar Micic Faculty of Computer Science University of New Brunswick Fredericton Canada IBM Ottawa Canada

ISBN: (纸本)9781467387224

One approach to decrease the gap between memory latency and processor speed is improving locality of data. Data layout optimization is a way to increase locality by reordering data elements in memory. Unfortunately, for multi-threaded applications, the issue is more complex due to the effects of false sharing. In this paper, the effect of locality and false sharing on multi-threaded applications is investigated. Therefore, fields are reordered inside java objects in such a way that improves the locality of reference among them and also decreases the estimated probability of false sharing. Considering the role of the JVM in laying out java objects fields, IBM's JVM is modified with the ability to reorganize fields based on the profiled information.

关键词： False java Virtual Machine (JVM) memory latency java java programming language layouts data elements Road multi-threaded application

Local Software Buildability across java Versions (Registered Report)

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Sulír, Matúš Porubän, Jaroslav Chodarev, Sergej Technical University of Košice Košice Slovakia

Context: Downloading the source code of open-source java projects and building them on a local computer using Maven, Gradle, or Ant is a common activity performed by researchers and practitioners. Multiple studies so far found that about 40–60% of such attempts fail. Our experience from the last years suggests that the proportion of failed builds rises continually even further. Objective: First, we would like to empirically confirm our hypothesis that with increasing java versions, the percentage of build-failing projects tends to grow. Next, nine supplementary research questions are proposed, related mainly to the proportions of failing projects, universal version compatibility, failures under specific JDK versions, success rates of build tools, wrappers, and failure reasons. Method: We will sample 2,500 random pure-java projects having a build configuration file and fulfilling basic quality criteria from GitHub. We will try to automatically build every project in containers with java versions 6 to 23 installed. Success or failure will be determined by exit codes, and standard output and error streams will be saved. A majority of the analysis will be performed automatically using reproducible scripts. Copyright © 2024, The Authors. All rights reserved.

关键词： java programming language

Explicit Batching for Distributed Objects

学校读者我要写书评

暂无评论

Explicit Batching for Distributed Objects

IEEE International Conference on Distributed Computing Systems

作者： Eli Tilevich William R. Cook Yang Jiao Computer Science Dept. Virginia Tech Dept. of Computer Sciences The University of Texas at Austin

ISBN: (纸本)9781424444816

Although distributed object systems, including RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually requires client-specific optimization of server interfaces, making such systems difficult to maintain and evolve. Automatic optimization techniques, including Batched Futures and Communication Restructuring, do not work as well as hand optimization. This paper presents Batched Remote Method Invocation (BRMI), a language-level technique for clients to specify explicit batches of operations on remote objects. We have implemented BRMI for java as an extension of RMI, with support for batches with array cursors, custom exception handling, conditionals and loops. BRMI allows common design patterns, including Data Transfer Objects and Remote Object Facade, to be constructed on the fly by clients. The performance benefits of batching operations are well known;our evaluation focuses on the usability of explicit batches, but we also confirm that BRMI outpeiforms RMI and scales significantly better when clients make multiple remote calls. The applicability of BRMI is demonstrated by rewriting third-party RMI client applications to use BRMI.

关键词： remote procedure calls NIH Roadmap Initiative tag customers design pattern distributed object system Clients Common object request broker architecture Explicit Flies java java programming language object oriented programming Remote

Search4Code: Code search intent classification using weak supervision

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Rao, Nikitha Bansal, Chetan Guan, Joe Microsoft Research United States Microsoft United States

Developers use search for various tasks such as finding code, documentation, debugging information, etc. In particular, web search is heavily used by developers for finding code examples and snippets during the coding process. Recently, natural language based code search has been an active area of research. However, the lack of real-world large-scale datasets is a significant bottleneck. In this work, we propose a weak supervision based approach for detecting code search intent in search queries for C# and java programming languages. We evaluate the approach against several baselines on a real-world dataset comprised of over 1 million queries mined from Bing web search engine and show that the CNN based model can achieve an accuracy of 77% and 76% for C# and java respectively. Furthermore, we are also releasing Search4Code, the first large-scale real-world dataset of code search queries mined from Bing web search engine. We hope that the dataset will aid future research on code search. Copyright © 2020, The Authors. All rights reserved.

关键词： java programming language

The java syntactic extender (JSE) 01

学校读者我要写书评

暂无评论

The Java syntactic extender (JSE)

ACM SIGPLAN Conference on Object-oriented programming, Systems, languages, and Applications

作者： Jonthan Bachrach Keith Playford Artificial Intelligence Laboratory Massachussetts Institute of Technology Cambridge MA Functional Objects Inc. 86 Chandler Street Somerville MA

ISBN: (纸本)1581133359

The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a language designed specifically for their problem domain. However, macro facilities that are integrated, capable, and at the same time simple enough to be widely used have been limited to the Lisp family of languages to date. In this paper we introduce a macro facility, called the java Syntactic Extender (JSE), with the superior power and ease of use of Lisp macro sytems, but for java, a language with a more conventional algebraic syntax. The design is based on the Dylan macro system, but exploits java's compilation model to offer a full procedural macro engine. In other words, syntax expanders may be implemented in, and so use all the facilities of, the full java language

关键词： java programming language language syntax common-base java LISP macrosystem Computer personnel Extenders Extender Device Component macro commands