This tutorial is for advanced simulation developers engaged in the use of object-oriented programminglanguages and libraries that support object-oriented, discrete-event simulation. The tutorial is based on generic s...
详细信息
This tutorial is for advanced simulation developers engaged in the use of object-oriented programminglanguages and libraries that support object-oriented, discrete-event simulation. The tutorial is based on generic structure of the OpenSML simulation libraries in the .Net languages ***, C# and J# and the Silk libraries in java. The focus of the tutorial is on the use of consistent design patterns that encourage usability, reusability and cross-language compatibility. Particular emphasis is placed on designing and coding object-oriented simulation models to properly transfer simulation control between entities, resources and system controllers, and on techniques for obtaining a one-to-one correspondence between simulation code and system behavior.
The combination of full subsumption and conditional expression is a challenging problem, because in such a system, a term might not have a type which is a representative of all types of the term. Therefore, the tradit...
详细信息
ISBN:
(纸本)1581135289
The combination of full subsumption and conditional expression is a challenging problem, because in such a system, a term might not have a type which is a representative of all types of the term. Therefore, the traditional type checking technique fails. Due to such a difficulty, java typing rule for if-expression uses only a restricted form of subtyping. In this paper, we propose a type system which includes both of the above mentioned features and enjoys decidable type checking. We also show that the system has the subject reduction property. It is expected that this technique could be used to improve the type system of java with full subsumption.
We introduce SSJ, an organized set of software tools implemented in the java programming language and. offering general-purpose facilities for stochastic simulation programming. It supports the event view, process vie...
详细信息
ISBN:
(纸本)0780376145
We introduce SSJ, an organized set of software tools implemented in the java programming language and. offering general-purpose facilities for stochastic simulation programming. It supports the event view, process view, continuous simulation, and arbitrary mixtures of these. Performance, flexibility, and extensibility were key criteria in its design and implementation. We illustrate its use by simple examples and discuss how we dealt with some performance issues in the implementation.
A java Embedded Micro-kernel (JEM) infrastructure that is capable of dynamically loading service modules at runtime onto devices with limited system resources is presented. In particular, such application services wou...
详细信息
A java Embedded Micro-kernel (JEM) infrastructure that is capable of dynamically loading service modules at runtime onto devices with limited system resources is presented. In particular, such application services would by-pas the normal performance bottlenecks found when implemented as system or user level services. Much motivation has led to believe that there is a need to develop and implement a generic JEM infrastructure that can be used in a rang eof embedded devices-from network cards to PDAs and from mobile phones to printers.
The architecture and performance of a java implementation of a structured distributed shared memory system, PastSet, is described. The PastSet abstraction allows programmers to write applications that run efficiently ...
详细信息
The architecture and performance of a java implementation of a structured distributed shared memory system, PastSet, is described. The PastSet abstraction allows programmers to write applications that run efficiently on different architectures, from clusters to widely distributed systems. PastSet is a tuple-based three-dimensional structured distributed shared memory system, which provides the programmer with operations to perform causally ordered reads and writes of tuples to a virtual structured memory space called the PastSet. It has been shown that the original, native code, PastSet was able to outperform MPI and PVM when running real applications and we show that the design translates into java so that java PastSet is a qualified competitor to other cluster application programming interfaces for java.
Denotational semantics is given for a java-like language with pointers, subclassing and dynamic dispatch, class oriented visibility control, recursive types and methods, and privilege-based access control. Representat...
详细信息
Denotational semantics is given for a java-like language with pointers, subclassing and dynamic dispatch, class oriented visibility control, recursive types and methods, and privilege-based access control. Representation independence (relational parametricity) is proved, using a semantic notion of confinement similar to ones for which static disciplines have been recently proposed.
Device drivers are a very critical part of every operating system. They often contain code that is executed in interrupt handlers. During the execution of interrupt handlers, the processing of some other interrupts is...
详细信息
ISBN:
(纸本)9781450378062
Device drivers are a very critical part of every operating system. They often contain code that is executed in interrupt handlers. During the execution of interrupt handlers, the processing of some other interrupts is usually disabled. Thus errors in that code can compromise the whole *** paper describes an approach to ensure that an interrupt handler is not allowed to use more than a specified amount of time. Our approach is based on a java operating system and consists of a combination of verification at compilation time and run-time checks.
We describe an anomaly intrusion-detection system for platforms that incorporate dynamic compilation and profiling. We call this approach "dynamic sandboxing." By gathering information about applications'...
详细信息
ISBN:
(纸本)9781581135985
We describe an anomaly intrusion-detection system for platforms that incorporate dynamic compilation and profiling. We call this approach "dynamic sandboxing." By gathering information about applications' behavior usually unavailable to other anomaly intrusion-detection systems, dynamic sandboxing is able to detect anomalies at the application layer. We show our implementation in a java Virtual Machine is both effective and efficient at stopping a backdoor and a virus, and has a low false positive rate.
In computational grids, performance-hungry applications need to simultaneously tap the computational power of multiple, dynamically available sites. The crux of designing grid programming environments stems exactly fr...
详细信息
ISBN:
(纸本)9781581135992
In computational grids, performance-hungry applications need to simultaneously tap the computational power of multiple, dynamically available sites. The crux of designing grid programming environments stems exactly from the dynamic availability of compute cycles: grid programming environments (a) need to be portable to run on as many sites as possible, (b) they need to be flexible to cope with different network protocols and dynamically changing groups of compute nodes, while (c) they need to provide efficient (local) communication that enables high-performance computing in the first place. Existing programming environments are either portable (java), or they are flexible (Jini, java RMI), or they are highly efficient (MPI). No system combines all three properties that are necessary for grid computing. In this paper, we present Ibis, a new programming environment that combines java's "run everywhere" portability both with flexible treatment of dynamically available networks and processor pools, and with highly efficient, object-based communication. Ibis can transfer java objects very efficient by combining streaming object serialization with a zero-copy protocol. Using RMI as a simple test case, we show that Ibis outperforms existing RMI implementations, achieving up to 9 times higher throughputs with trees of objects.
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for java (ES...
详细信息
ISBN:
(纸本)9781581134636
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for java (ESC/java), an experimental compile-time program checker that finds common programming errors. The checker is powered by verification-condition generation and automatic theoremproving techniques. It provides programmers with a simple annotation language with which programmer design decisions can be expressed formally. ESC/java examines the annotated software and warns of inconsistencies between the design decisions recorded in the annotations and the actual code, and also warns of potential runtime errors in the code. This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of java programs.
暂无评论