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

International Conference on Software Engineering Research and Practice (SERP 05)

作者： Salem, A Sharma, V Calif State Univ Sacramento Dept Comp Sci Sacramento CA 95819 USA

ISBN: (纸本)1932415513

All multithreaded programs are inherently less predictable. In order to find the relationship between thread execution and memory allocation, one must understand the java Memory Model (JMM). The JMM model is introduced in this paper to understand thread execution. The deterministic replay approach is shown based on the past and ongoing research to understand logical scheduling and interleaving of the threads. The aim of this paper is to investigate an approach of verifying a multithreaded java programs with the use of metrics and the knowledge of JMM.

关键词： program verification concurrent programs java virtual machine java Memory Model pre analyzer program

来源：评论

学校读者我要写书评

暂无评论

On-demand service in grid: Architecture, design and implementation

On-demand service in grid: Architecture, design and implemen...

引用

11th International Conference on Parallel and Distributed Systems

作者： Huang, ZC He, C Gu, L Wu, JF Tsing Hua Univ Dept Comp Sci & Engn Beijing 100084 Peoples R China

ISBN: (纸本)0769522815

Service Oriented Architecture becomes the mainstream of grid research today. On-demand service, which can provides better flexibility for grid users, is purposed in this paper. According to the research on different implementation policies, on-demand service architectures for virtual machine based on-demand service and service specification reference based on-demand service is proposed. Furthermore, it is designed and implemented based on java virtual machine and Groovy script language. Performance testing to the implementation shows that on-demand service can provide better flexibility for grid by low cost, and can speedup mass data processing services usually.

关键词： grid on-demand service java virtual machine Groovy script language

来源：评论

学校读者我要写书评

暂无评论

CLDC HI在手機上的設計與實作

引用

电脑与通讯 2005年第111期 137-143页

作者：楊禎泓黃英典郭文雄

在本篇论本中，我们将描述关於移植Sun公司的CLDC HI Implementation (CLDC HI)到手机环境时所需要注意的事项和一些设计上的考量。其中包含硬体需求、编译环境及作业系统关於多执行绪支援的程度，函式库的需求等考量。

关键词： java java virtual machine KVM CLDC HI HotSpot

来源：评论

学校读者我要写书评

暂无评论

The design and analysis of a quantitative simulator for dynamic memory management

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2004年第3期72卷 443-453页

作者： Lo, CTD Srisa-An, W Chang, JM Univ Texas Dept Comp Sci San Antonio TX 78249 USA Univ Nebraska Dept Comp Sci & Engn Lincoln NE 68583 USA Iowa State Univ Dept Elect & Comp Engn Ames IA 50011 USA

The use of object-oriented programming in software development allows software systems to be more robust and more maintainable. At the same time, the development time and expense are also reduced. To achieve these benefits, object-oriented applications use dynamic memory management (DMM) to create generic objects that can be reused. Consequently, these applications are often highly dynamic memory intensive. For the last three decades, several DMM schemes have been proposed. Such schemes include first fit, best fit, segregated fit, and buddy systems. Because the performance (e.g., speed, memory utilization, etc.) of each scheme differs, it becomes a difficult choice in selecting the most suitable approach for an application and what parameters (e.g., block size, etc.) should be adopted. In this paper, a DMM simulation tool and its usage are presented. This tool receives DMM traces of C/C++ or java programs and performs simulation according to the scheme (first fit, best fit, buddy system, and segregated fit) defined by the user. Techniques required to obtain memory traces are presented. At the end of each simulation run, a variety of performance metrics are reported to the users. By using this tool, software engineers can evaluate system performance and decide which algorithm is the most suitable. Moreover, hardware engineers can perform a system analysis before hardware (e.g., modified buddy system, first fit, etc.) is fabricated. (C) 2003 Elsevier Inc. All rights reserved.

关键词： dynamic memory management garbage collection java virtual machine tools object-oriented programming DMM simulator

来源：评论

学校读者我要写书评

暂无评论

Parametric polymorphism for java: Is there any hope in sight?

引用

ACM SIGPLAN NOTICES 2004年第12期39卷 22-31页

作者： Cabana, B Alagic, S Faulkner, J Univ So Maine Dept Comp Sci Portland ME 04104 USA

In spite of years of research toward a solution for the problem of extending java with parametric polymorphism (genericity) the officially accepted solution already in its beta release allows violation of the java type system and turns a type safe language into an unsafe one. The nun-time type information in this release is incorrect which leads to major problems for the programmers relying on the java reflective capabilities. We show that there are two basic reasons for these problems. The first one is that the idiom underlying this solution is provably incorrect. The second one is that the problem of extending java with parametric polymorphism does not have a correct solution unless the java virtual machine is extended to handle it properly. This paper elaborates the subtleties required by a correct implementation technique that includes representation of parametric classes in the standard java class file format, representation of the instantiated parametric class objects, extensions of the java Core Reflection to report type information about (instantiated) parametric classes, and the loading techniques required by this solution for extending java with generics. Previous solutions for this problem are analyzed as well.

关键词： parametric polymorphism generics java Core Reflection java virtual machine class files class objects loading

来源：评论

学校读者我要写书评

暂无评论

The transient combinator, higher-order strategies, and the distributed data problem

引用

SCIENCE OF COMPUTER PROGRAMMING 2004年第1-3期52卷 165-212页

作者： Winter, VL Subramaniam, M Univ Nebraska Dept Comp Sci Omaha NE 68182 USA

The distributed data problem is characterized by the desire to bring together semantically related data from syntactically unrelated portions of a term. A strategic combinator called transient and a strategic constant called skip are introduced in the context of a higher-order strategic framework. The notion of traversal is lifted to the higher order as well. The resulting framework allows the manipulation of data to be expressed directly in strategic terms. The impact of this dynamic approach to strategy creation is then explored for several instances of the distributed data problem. Problems considered include three strategic benchmarks as well as two transformations that arise within a class loader for the java virtual machine. (C) 2004 Elsevier B.V. All rights reserved.

关键词： distributed data problem strategic programming higher-order strategic programming higher-order traversal one-layer higher-order traversals transformation program transformation rewriting higher-order rewriting transient combinator skip strategy TL HATS table normalization java class loader strategic benchmarks java virtual machine sandia secure processor

来源：评论

学校读者我要写书评

暂无评论

Pluggable verification modules: An extensible protection mechanism for the JVM

Pluggable verification modules: An extensible protection mec...

引用

19th Conference on Object-Oriented Programming, Systems, Languages, and Applications

作者： Fong, PWL Univ Regina Dept Comp Sci Regina SK S4S 0A2 Canada

Through the design and implementation of a JVM that supports Pluggable Verification Modules (PVMs), the idea of an extensible protection mechanism is entertained. Link-time bytecode verification becomes a pluggable service that can be readily replaced, reconfigured and augmented. Application-specific verification services can be safely introduced into the dynamic linking process of the JVM. This feature is enabled by the adoption of a previously proposed modular verification architecture, Proof Linking [23, 24], which decouples bytecode verification from the dynamic linking process, rendering the verifier a replaceable module. The PVM mechanism has been implemented in an open source JVM, the Aegis VM [21]. To evaluate the software engineering and security engineering benefits of this extensible protection mechanism, an augmented type system JAC (java Access Control) [37] has been successfully implemented as a PVM.

关键词： security languages verification pluggable verification modules proof linking extensible protection mechanism java virtual machine bytecode verification Aegis VM mobile code security extensible systems

来源：评论

学校读者我要写书评

暂无评论

Efficient java exception handling in just-in-time compilation

引用

SOFTWARE-PRACTICE & EXPERIENCE 2004年第15期34卷 1463-1480页

作者： Lee, SI Yang, BS Moon, SM Seoul Natl Univ Sch Elect Engn Seoul 151742 South Korea

java uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This paper describes two techniques for reducing such complications. First, we delay the translation of an exception handier until the exception really occurs. This on-demand translation of exception handlers allows more optimizations when translating the main flow, without being hindered by constraints caused by the exception flows. Secondly, for those exceptions that are actually thrown during program execution we insert exception-type check code and a direct branch to the translated exception handlers. This exception handler prediction is motivated by an observation that frequently thrown exceptions are likely to be handled by the same exception handlers, so this will eliminate the exception processing overhead of the java virtual machine. Our experiments indicate that the code quality of the main flow is no longer affected by the presence of exception handlers. Also, frequently thrown exceptions can be efficiently handled by the exception handier prediction. Copyright (C) 2004 John Wiley Sons, Ltd.

关键词： java virtual machine exception handling just-in-time compiler on-demand translation exception handier prediction

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: TREEFINDER: a powerful graphical analysis environment for molecular phylogenetics

引用

BMC Ecology and Evolution 2004年第1期4卷 1-9页

作者： Gangolf Jobb Korbinian Strimmer Arndt von Haeseler Department of Statistics University of Munich Ludwigstr. 33 D-80539 Munich Germany Department of Computer Science University of Düsseldorf Universitätsstr. 1 D-40225 Düsseldorf Germany John von Neumann Institute for Computing Forschungszentrum Jülich D-52425 Jülich Germany

BackgroundMost analysis programs for inferring molecular phylogenies are difficult to use, in particular for researchers with little programming experience.ResultsTREEFINDER is an easy-to-use integrative platform-inde... 详细信息

Background

Most analysis programs for inferring molecular phylogenies are difficult to use, in particular for researchers with little programming experience.

Results

TREEFINDER is an easy-to-use integrative platform-independent analysis environment for molecular phylogenetics. In this paper the main features of TREEFINDER (version of April 2004) are described. TREEFINDER is written in ANSI C and java and implements powerful statistical approaches for inferring gene tree and related analyzes. In addition, it provides a user-friendly graphical interface and a phylogenetic programming language.

Conclusions

TREEFINDER is a versatile framework for analyzing phylogenetic data across different platforms that is suited both for exploratory as well as advanced studies.

关键词： Graphical User Interface java virtual machine Molecular Phylogenetics Tree Manipulation Friendly Graphical User Interface

来源：评论

学校读者我要写书评

暂无评论

Pluggable verification modules: an extensible protection mechanism for the JVM 04

Pluggable verification modules: an extensible protection mec...

引用

Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

作者： Philip W. L. Fong University of Regina Regina Canada

ISBN: (纸本)9781581138313

关键词： extensible protection mechanism extensible systems mobile code security pluggable verification modules Aegis VM java virtual machine bytecode verification proof linking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

Background

Results

Conclusions

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

Background

Results

Conclusions

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：