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

9th international conference on principles and practice of programming in java, pppj 2011

ISBN: (纸本)9781450309356

the proceedings contain 20 papers. the topics discussed include: Quarantine: a framework to mitigate memory errors in JNI applications;portable and accurate collection of calling-context-sensitive byte-code metrics for the java virtual machine;the java virtual machine in retargetable, high-performance instruction set simulation;a DSL for writing type systems for Xtext languages, space-based multi-core programming in java;Habanero-java: the new adventures of old X10;ejIP: a TCP/IP stack for embedded java;the soul tool suite for querying programs in symbiosis with Eclipse;Jazz2: a flexible and extensible framework for structural testing;object reuse and behavior adaptation in java-like languages;trace-based compilation for the java hotspot virtual machine;tool demonstration: overseer - low-level hardware monitoring and management for java;and optimized memory management for class metadata in a JVM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A DSL for writing type Systems for Xtext Languages 11

A DSL for writing type Systems for Xtext Languages

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Bettini, Lorenzo Dipartimento di Informatica Università di Torino Corso Svizzera 185 10149 Torino Italy

ISBN: (纸本)9781450309356

Xtext is a framework for the development of languages, which also generates all the typical and recurrent artifacts for a fully-fledged IDE on top of Eclipse. the validation (e.g., checking the correctness of programs from the point of view of types) of languages developed in Xtext has to be implemented by the programmer writing java code. In this paper we present XTypeS (Xtext TypeSystem), a DSL for writing the type system for an Xtext language. A type system definition in XTypeS is a set of rules which act on the elements of the AST of a program, which in Xtext is represented by an EMF model. then, XTypeS will generate the corresponding java code that can be used to implement the validation part for a language developed in Xtext. We describe the features of XTypeS by writing the type system of two languages implemented in Xtext: Featherweight java and l-calculus. © 2011 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Tool demonstration: Overseer - Low-level hardware monitoring and management for java

Tool demonstration: Overseer - Low-level hardware monitoring...

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Peternier, Achille Bonetta, Daniele Binder, Walter Pautasso, Cesare Switzerland

ISBN: (纸本)9781450309356

the high-level and portable nature of the java platform allows applications to be written once and executed on all the supported systems. However, such a feature comes at the cost of hardware abstraction, making it more difficult or even impossible to access several low-level functionalities. Overseer is a java framework that makes it possible on Linux systems by simplifying access to realtime measurement of low-level data such as Hardware Performance Counters (HPCs), IPMI sensors, and java VM internal events. Overseer supports functionalities such as HPC-management, process/ thread affinity settings, hardware topology identification, as well as power-consumption and temperature monitoring. In this paper we describe Overseer and how to use it to extend java applications with functionalities not provided by the default runtime. A public release of Overseer is available. © 2011 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Tool demonstration: DrHJ - A lightweight pedagogic IDE for habanero java

Tool demonstration: DrHJ - A lightweight pedagogic IDE for h...

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Payne, Jarred Raman, Raghavan Cav´e, Vincent Ricken, Mathias Cartwright, Robert Sarkar, Vivek Department of Computer Science Rice University United States

ISBN: (纸本)9781450309356

the java language and runtime environment has had a profound worldwide impact on computer software since its introduction nearly two decades ago. It has enabled the creation of a rich ecosystem of libraries, frameworks, and tools that promises to deliver significant value for many years to come. Consequently, a wide range of Interactive Development Environments (IDEs) have emerged to increase the productivity of java programmers. they vary in functionality based on the expertise level assumed for their target user base. the Eclipse java Development Tools (JDT) project offers a rich set of power tools for experienced programmers, but can be harder for novice programmers to set up and use. In contrast, IDEs such as Drjava [2] and BlueJ [16] have been developed primarily for use in introductory programming courses. © 2011 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Object reuse and behavior adaptation in java-like languages* 11

Object reuse and behavior adaptation in Java-like languages*

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Bettini, Lorenzo Venneri, Betti Dip. di Informatica Università di Torino Corso Svizzera 185 10149 Torino Italy Dip. di Sistemi e Informatica Universitá di Firenze Viale Morgagni 65 50134 Firenze Italy

ISBN: (纸本)9781450309356

Inheritance, which is a basic mechanism in mainstream objectoriented languages, introduces a strong coupling which limits modularity and code reuse. Furthermore, static class hierarchies cannot easily deal with unpredictable dynamic adaptations of the object behavior. In order to overcome these limitations, we propose new linguistic constructs for composing objects in a java-like language. Objects are intended as featherweight components which can be used in multiple compositions, and object types specify not only the implemented functionalities, but also the required methods, which will be provided by other components during composition. thus the language supports flexible object reuse and adaptation of the object behavior at run time. the static type discipline guarantees that method calls on well-typed object compositions are safe. © 2011 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

DEEPFJIG*: Modular composition of nested classes 11

DEEPFJIG*: Modular composition of nested classes

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Corradi, Andrea Servetto, Marco Zucca, Elena DISI Università di Genova Italy

ISBN: (纸本)9781450309356

We present a new language design which smoothly integrates modular composition and nesting of java-like classes. that is, inheritance has been replaced by an expressive set of composition operators, inspired by Bracha's Jigsaw framework, and these operators allow to manipulate (e.g., rename or duplicate) a nested class at any level of depth. Typing is nominal as characteristic of java-like languages, so types are paths of the form outern.c1. . . . .ck which, depending on the class (node) where they occur, denote another node in the nesting tree. However, paths denoting the same class are not equivalent, since they behave differently w.r.t. composition operators. the resulting language, called DEEPFJIG, obtains a great expressive power, allowing, e.g., to solve the expression problem, encode basic AOP mechanisms, and bring some refactoring techniques at the language level, while keeping a very simple semantics and type system which represent a natural extension for, say, a java programmer. © 2011 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Space-Based multi-Core programming in java 11

Space-Based multi-Core programming in Java

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Gudenkauf, Stefan Hasselbring, Wilhelm OFFIS - Institute for Computer Science Escherweg 2 26127 Oldenburg Germany Department of Computer Science Software Engineering Group Christian-Albrechts-Universität zu Kiel Christian-Albrechts-Platz 4 24118 Kiel Germany

ISBN: (纸本)9781450309356

Multi-core processors require programmers to exploit concurrency in software as far as possible. Unfortunately, our current concurrency abstractions make multi-core programming harder than necessary because we have to reduce unintended non-determinism on a very low level of abstraction, for instance via synchronisation mechanisms. In this experience paper we analyse if space-based systems can mitigate multi-core programming in the java programming language and present the Procol programming model that introduces the space-based choreography of active components, which internally orchestrate fine-grained workflow activities. the main contributions are (1) the Procol programming model, (2) benchmark results of the scalability of different tuple space implementation techniques that we evaluated on different multi-core architectures, (3) benchmark results of the scalability of two equivalent Mandelbrot applications for best-case measurements - one implemented with the standard java thread model, one with our Procol programming model. the conclusions drawn from these experiments are (1) tuple space data structures that scale reasonably well can be provided, (2) the performance overhead that Procol imposes is at least for the considered application a reasonable trade-off for the ease of programming provided for multi-core architectures. © 2011 ACM.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Habanero-java: the new adventures of Old X10 11

Habanero-Java: The new adventures of Old X10

引用

9th international conference on principles and practice of programming in java, pppj 2011

作者： Cav´e, Vincent Zhao, Jisheng Shirako, Jun Sarkar, Vivek Rice University United States

ISBN: (纸本)9781450309356

In this paper, we present the Habanero-java (HJ) language developed at Rice University as an extension to the original java-based definition of the X10 language. HJ includes a powerful set of taskparallel programming constructs that can be added as simple extensions to standard java programs to take advantage of today's multicore and heterogeneous architectures. the language puts a particular emphasis on the usability and safety of parallel constructs. For example, no HJ program using async, finish, isolated, and phaser constructs can create a logical deadlock cycle. In addition, the future and data-driven task variants of the async construct facilitate a functional approach to parallel programming. Finally, any HJ program written with async, finish, and phaser constructs that is data-race free is guaranteed to also be deterministic. HJ also features two key enhancements that address well known limitations in the use of java in scientific computing - the inclusion of complex numbers as a primitive data type, and the inclusion of array-views that support multidimensional views of onedimensional arrays. the HJ compiler generates standard java classfiles that can run on any JVM for java 5 or higher. the HJ runtime is responsible for orchestrating the creation, execution, and termination of HJ tasks, and features both work-sharing and work-stealing schedulers. HJ is used at Rice University as an introductory parallel programming language for second-year undergraduate students. A wide variety of benchmarks have been ported to HJ, including a full application that was originally written in Fortran 90. HJ has a rich development and runtime environment that includes integration with Drjava, the addition of a data race detection tool, and service as a target platform for the Intel Concurrent Collections coordination language © 2011 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

On designing safe and flexible embedded DSLs with java 5

引用

SCIENCE OF COMPUTER programming 2011年第11期76卷 970-991页

作者： Kabanov, Jevgeni Hunger, Michael Raudjaerv, Rein Univ Tartu Dept Comp Sci Tartu Estonia

Although embedded DSLs are widely used in both functional and dynamic languages they are yet to be widely accepted in the java community. the best available examples are projects like jMock and Hibernate Criteria Query. In this paper we introduce the design of three novel practical embedded DSLs that we designed to showcase the power of java language and specifically the changes introduced in java 5. One of those DSLs is fully implemented as an open source project and is gathering momentum in the community. We proceed to discuss the approaches that allow designing safe and flexible DSLs by extracting generic patterns where possible and describing more specific idioms where necessary. It is our goal that this paper would serve as a starting point for someone designing an embedded DSL that takes full advantage of the java 5 features. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Communities digital subscriber lines java programming language embedding FUNCTIONALS Safes FLEXIBLE

来源：评论

学校读者我要写书评

暂无评论

A framework for constructing peer-to-peer overlay networks in java 09

A framework for constructing peer-to-peer overlay networks i...

引用

7th international conference on principles and practice of programming in java, pppj 2009

作者： Rui, Shen Ji, Wang Shengdong, Zhang Siqi, Shen Pei, Fan National Laboratory for Parallel and Distributed Processing Changsha 410073 China School of Computing University of Leeds Leeds LS2 9JT United Kingdom

ISBN: (纸本)9781605585987

Peer-to-peer emerges as a better way for building applications on the Internet that require high scalability and availability. Peer-to-peer systems are usually organized into structured overlay networks, which provide key-based routing capabilities to eliminate flooding in unstructured ones. Many overlay network protocols have been proposed to organize peers into various topologies with emphasis on different networking properties. However, applications are often stuck to a specific peer-to-peer overlay network implementation, because different overlay implementations usually provide very different interfaces and messaging mechanisms. In this paper, we present a framework for constructing peer-to-peer overlay networks in java. First, networking is abstracted by the interfaces that use URIs to uniformly address peers on different underlying or overlay networks. then, asynchronous and synchronous messaging support is built upon these interfaces. Finally, overlay networking interfaces are sketched to handle specific issues in overlay networks. We have constructed several overlay networks in this framework, and built peer-to-peer applications which are independent of overlay implementations. Copyright 2009 ACM.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：