A proposal for a flexible scheduling and memory management scheme for non-deterministic, andparallel execution of logic programs

In this paper, we examine the issue of memory management in the parallel execution of logic programs. We concentrate on non-deterministic and-parallel schemes which we believe present a relatively general set of problems to be solved, including most of those encountered in the memory management of or-parallel systems. We present a distributed stack memory management model which allows flexible scheduling of goals. Previously proposed models (based on the "Marker model") are lacking in that they impose restrictions on the selection of goals to be executed or they may require consume a large amount of virtual memory. This paper first presents results which imply that the above mentioned shortcomings can have significant performance impacts. An extension of the Marker Model is then proposed which allows flexible scheduling of goals while keeping (virtual) memory consumption down. Measurements are presented which show the advantage of this solution. Methods for handling forward and backward execution, cut and roll back are discussed in the context of the proposed scheme. In addition, the paper shows how the same mechanism for flexible scheduling can be applied to allow the efficient handling of the very general form of suspension that can occur in systems which combine several types of and-parallelism and more sophisticated methods of executing logic programs. We believe that the results are applicable to many and- and or-parallel systems.

Commonalities between networking in multiplayer computer games and negotiation processes in a future multi-layered Air Traffic Management (ATM) system

First, this paper describes a future layered Air Traffic Management (ATM) system centred in the execution phase of flights. The layered ATM model is based on the work currently performed by SESAR [1] and takes into account the availability of accurate and updated flight information ?seen by all? across the European airspace. This shared information of each flight will be referred as Reference Business Trajectory (RBT). In the layered ATM system, exchanges of information will involve several actors (human or automatic), which will have varying time horizons, areas of responsibility and tasks. Second, the paper will identify the need to define the negotiation processes required to agree revisions to the RBT in the layered ATM system. Third, the final objective of the paper is to bring to the attention of researchers and engineers the communalities between multi-player games and Collaborative Decision Making processes (CDM) in a layered ATM system

Human Immunodeficiency Virus Reverse Transcriptase and Protease Sequence Database: an expanded data model integrating natural language text and sequence analysis programs

The HIV Reverse Transcriptase and Protease Sequence Database is an on-line relational database that catalogs evolutionary and drug-related sequence variation in the human immunodeficiency virus (HIV) reverse transcriptase (RT) and protease enzymes, the molecular targets of anti-HIV therapy (http://hivdb.stanford.edu). The database contains a compilation of nearly all published HIV RT and protease sequences, including submissions from International Collaboration databases and sequences published in journal articles. Sequences are linked to data about the source of the sequence sample and the antiretroviral drug treatment history of the individual from whom the isolate was obtained. During the past year 3500 sequences have been added and the data model has been expanded to include drug susceptibility data on sequenced isolates. Database content has also been integrated with didactic text and the output of two sequence analysis programs.

The effectiveness of federal employee incentive programs : hearing before the Oversight of Government Management, Restructuring, and the District of Columbia Subcommittee of the Committee on Governmental Affairs, United States Senate, One Hundred Sixth Congress, second session, May 2, 2000.

Shipping list no.: 2000-0347-P.

Department of Commerce's technology grant programs : hearing before the Subcommittee on Oversight of Government Management, Restructuring, and the District of Columbia of the Committee on Governmental Affairs, United States Senate, One Hundred Fifth Congress, first session, June 3, 1997.

Shipping list no.: 98-0002-P.

Participant materials for financial management of state highway safety programs.

National Highway Traffic Safety Administration, Washington, D.C.

Coordinating Federal programs : the case of Office of Management and Budget circular A-95 /

Cover title.

A guidance manual for implementing effective employer-based travel demand management programs. Final report.

Federal Highway Administration, Washington, D.C.

User's manual for COLMIS : a collection management information system for solid waste management.

"Volume 2 primarily for the systems analyst and data processor, contains flow charts, a computer program, input information and a sample problem."

Computer planning for efficient solid waste collection : [a condensation] /

"Condensation of Mathematical Analysis of Solid Waste Collection by David H. Marks and Jon C. Liebman."

Implementation plan for the Department of Energy programmatic spent nuclear fuel management and Idaho National Engineering Laboratory environmental restoration and waste management programs environmental impact statement : October 29, 1993.

Mode of access: Internet.

Amendment to the October 29, 1993 implementation plan for the Department of Energy programmatic spent nuclear fuel management and Idaho National Engineering Laboratory environmental restoration and waste management programs environmental impact statement : May 9, 1994.

Mode of access: Internet.