The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Previously, we developed a data-centric approach to concurrency control in which programmers specify synchronization constraints declaratively, by grouping shared locations into atomic sets. We implemented our ideas in a Java extension called AJ, using Java locks to implement synchronization. We proved that atomicity violations are prevented by construction, and demonstrated that realistic Java programs...
The Map-Reduce programming model is now drawing both academic and industrial attentions for processing large data. Hadoop, one of the most popular implementations of the model, has been widely adopted. To support application programs written in languages other than Java, Hadoop introduces a streaming mechanism that allows it to communicate with external programs through pipes. Because of the added...
This paper describes the current situation of domestic online games. According to the present condition of the local network game, we inquired to a Multithread TCP client and server, such as Chinese chess. Combining the basic knowledge of Java and Java Swing usage, the article studies the compiling procedure of object-oriented and the method of the network procedure. The article carries on the use...
Code comments are important artifacts in software. Javadoc comments are widely used in Java for API specifications. API developers write Javadoc comments, and API users read these comments to understand the API, e.g., reading a Javadoc comment for a method instead of reading the method body. An inconsistency between the Javadoc comment and body for a method indicates either a fault in the body or,...
Agent-based simulation (ABS) systems are increasingly being used to solve a wide-array of problems in business, telecommunications, robotics, games, and military applications. ABS modelers face two challenges: First, performance is affected, as their simulations become more complex and larger scale; and second, development is difficult because there is no common interface to the array of platforms...
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. It attracts people's attention as soon as it appears. But its present version could not support the sharing class static attribute of class object. This paper discusses how to extend JAC specification, how to improve JAC compiler,...
Program slicing is a technique for analyzing program by focusing on the statements which have dependence relations with slicing criterion. Slicing has applications in testing and debugging, re-engineering, program comprehension and software maintenance. Program verification is an important method in assuring the correctness and reliability of computer hardware and software. One of the major problems...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.