The java Modeling language (JML) can be used to specify the detailed design of java classes and interfaces by adding annotations to java source files. The aim of JML is to provide a specification language that is easy...
详细信息
In recent years database technology has become highly integrated with web applications. It is difficult to discuss or teach one without some reference to the other. The work described in this paper demonstrates the in...
详细信息
ISBN:
(纸本)1892512416
In recent years database technology has become highly integrated with web applications. It is difficult to discuss or teach one without some reference to the other. The work described in this paper demonstrates the inclusion of web related technologies into an undergraduate database course. Specifically, java Servlets and java Server Pages are employed to demonstrate web access of databases. Details are included concerning the underlying technology, changes made to the course curriculum and details of the assignments and projects from the course.
Subroutines are a major complication for java bytecode verification: they are difficult to fit into the data flow analysis that the java Virtual Machine (JVM) specification suggests. We examine the problems that occur...
详细信息
ISBN:
(纸本)3540406646
Subroutines are a major complication for java bytecode verification: they are difficult to fit into the data flow analysis that the java Virtual Machine (JVM) specification suggests. We examine the problems that occur with subroutines and give an overview of the most prominent solutions in the literature. Using the theorem prover Isabelle/HOL, we have extended our substantial formalization of the JVM and the bytecode verifier with its proof of correctness by the most general solution for bytecode subroutines.
java Message Service is released by Sun Microsystems as a standard way of message delivering and receiving. The purpose of this project is to implement a java Message Service provider and provide a software framework ...
详细信息
ISBN:
(纸本)0780378407
java Message Service is released by Sun Microsystems as a standard way of message delivering and receiving. The purpose of this project is to implement a java Message Service provider and provide a software framework to make some improvement on it. According to the specification of java Message Service, java Message Service is restricted in a pre-configured environment where each computer's IP is known in advanced and is completely connected. In this project, we design architecture to allow messaging in Internet. To integrate java Message Service into Internet environment, there are several issues to consider: To resolve java Message Service destination objects without physical IP. An efficient and stable method for message routing is required. Load balancing should be considered. The capability to handle heavy messaging load on Internet should be ensured.
java event spaces are partial orders of memory and thread actions as generated by a multi-threaded java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of java ...
详细信息
java event spaces are partial orders of memory and thread actions as generated by a multi-threaded java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of java event spaces. Furthermore, we face the problem that arises when two or more variables of an event space are aliased and we outline an algorithm that goes through an event space and calculates aliases of variables. We incorporate this algorithm in the calculation of the program program slice.
Modern multithreaded languages axe expected to support advanced features such as thread identification for java-style locks and dynamically-scoped synchronization coupled with exception handling. However, supporting t...
详细信息
ISBN:
(纸本)3540203591
Modern multithreaded languages axe expected to support advanced features such as thread identification for java-style locks and dynamically-scoped synchronization coupled with exception handling. However, supporting these features has been considered to degrade the effectiveness of existing efficient implementation techniques for fine-grained fork/join multithreaded languages, e.g., lazy task creation. This paper proposes efficient implementation techniques for an extended javalanguage OPA with the above advanced features. Our portable implementation in C achieves good performance by pursuing 'laziness' not only for task creation but also stealable continuation creation, thread ID allocation, and synchronizer creation.
In this paper we present a library of classes for programming reinforcement learning simulations in java. This library is based upon the standard by Sutton and Santamaria [1], with valuable additions to simplify the i...
详细信息
ISBN:
(纸本)1892512416
In this paper we present a library of classes for programming reinforcement learning simulations in java. This library is based upon the standard by Sutton and Santamaria [1], with valuable additions to simplify the implementation of the software for selected temporal-difference control algorithms and various memory models. We also present arguments for the integration of this library into the curriculum of a java-based undergraduate course in Artificial Intelligence.
A new approach to teaching software testing is proposed: students use test-driven development on programming assignments, and an automated grading tool assesses their testing performance and provides feedback. The bas...
详细信息
ISBN:
(纸本)1581137516
A new approach to teaching software testing is proposed: students use test-driven development on programming assignments, and an automated grading tool assesses their testing performance and provides feedback. The basics of the approach, screenshots of the sytem, and a discussion of industrial tool use for grading java programs are discussed.
A client-server application for the remote control of a wireless mobile robot (a small four-wheel vehicle) is described. The application requires an onboard computer (e.g. a PC-104 or a laptop) running a java Virtual ...
详细信息
暂无评论