The Problem: Robotic spacecraft for exploration of the solar system and beyond must be designed to navigate and operate in harsh, dynamic and uncertain environments. Such operating conditions make it difficult for the systems engineers and programmers responsible for encoding onboard software sequences to meet the requirements for very high reliability. We propose a robust solution to challengi...

In order to validate suitable methods for investigating learning processes, we are currently conducting a case study, exploring the mental models of novice students in the field of object oriented modeling and programming. Until now we have asked the students of an introductory course of lessons to draw concept maps at three points of time. Additionally we conducted a small exam, where the stud...

Experimental results are presented of experiments on using Machine Learning algorithms to extract a model of a human control skill The con trol task to be modeled is that of a pilot ying a F ight simulation on a levelled left turn Machine Learning algorithms used include C as a decision tree representative and FOIL and Indlog as Inductive Logic Pro gramming representatives Improvements on the m...

Mixed logical linear programming MLLP is an extension of mixed integer linear pro gramming MILP It can represents the discrete elements of a problem with logical propo sitions and provides a more natural modeling framework than MILP It can also have computational advantages partly because it eliminates integer variables when they serve no purpose provides alternatives to the traditional continu...

We present the architecture of Triton a scalable mixed mode SIMD MIMD parallel computer The novel features of Triton are Support for high level machine independent pro gramming languages Fast SIMD MIMD mode switching Special hardware for barrier synchronization of multiple process groups A self routing dead lock free perfect shu e inter connect with latency hiding The architecture is the outcom...

The comprehensive reports released by the National Institute on Alcohol Abuse and Alcoholism’s (NIAAA’s) Task Force on College Drinking turned a national spotlight on the problem of harmful drinking among college stu­ dents. The central report, A Call to Action: Changing the Culture of Drinking at U.S. Colleges, has proven influential in the college alcohol and other drug (AOD) prevention and t...

We survey the well-known algebraic laws of sequential pro-gramming, and propose some less familiar laws for concurrent program-ming. On the basis of these laws, we derive the rules of a number of classicalprogramming and process calculi, for example, those due to Hoare, Mil-ner, and Kahn. The algebra is simpler than each of the calculi derived fromit, and stronger than all t...

Jackal is a fine-grained distributed shared memory implementation of the Java pro-gramming language. It aims to implement Java’s memory model and allows mul-tithreaded Java programs to run unmodified on a distributed memory system. Itemploys a multiple-writer cache coherence protocol. In this paper, we report onour analysis of this protocol. We present its formal specification i...

The vast majority of research in information retrieval is done using English collections and topics. This raises questions about the effectiveness of retrieval strategies for other languages. To examine this issue, we focus on document retrieval in nine European languages. In particular, we investigate the effectiveness of language-dependent approaches to document retrieval, such as stemming an...

For programming languages whose denotational semantics uses xed points of domain constructors of mixed variance proofs of correspondence between operational and denotational semantics or be tween two di erent denotational semantics often depend upon the exis tence of relations speci ed as the xed point of non monotonic operators This paper describes a new approach to constructing such relations...