Machine independent AND and OR parallel execution of logicprograms. I. The binding environment

We describe a binding environment for the AND and OR parallel execution of logic programs that is suitable for both shared and nonshared memory multiprocessors. The binding environment was designed with a view of rendering a compiler using this binding environment machine independent. The binding environment is similar to closed environments proposed by J. Conery. However, unlike Conery's scheme, it supports OR and independent AND parallelism on both types of machines. The term representation, the algorithms for unification and the join algorithms for parallel AND branches are presented in this paper. We also detail the differences between our scheme and Conery's scheme. A compiler based on this binding environment has been implemented on a platform for machine independent parallel programming called the Chare Kernel     

Structuring fault-tolerant object systems for modularity in adistributed environment

The object-oriented approach to system structuring has found widespread acceptance among designers and developers of robust computing systems. The authors propose a system structure for distributed programming systems that support persistent objects and describe how properties such as persistence and recoverability can be implemented. The proposed structure is modular, permitting easy exploitation of any distributed computing facilities provided by the underlying system. An existing system constructed according to the principles espoused here is examined to illustrate the practical utility of the proposed approach to system structuring     

Scheduling DAG's for asynchronous multiprocessor execution

A new approach is given for scheduling a sequential instruction stream for execution “in parallel” on asynchronous multiprocessors. The key idea in our approach is to exploit the fine grained parallelism present in the instruction stream. In this context, schedules are constructed by a careful balancing of execution and communication costs at the level of individual instructions, and their data dependencies. Three methods are used to evaluate our approach. First, several existing methods are extended to the fine grained situation. Our approach is then compared to these methods using both static schedule length analyses, and simulated executions of the scheduled code. In each instance, our method is found to provide significantly shorter schedules. Second, by varying parameters such as the speed of the instruction set, and the speed/parallelism in the interconnection structure, simulation techniques are used to examine the effects of various architectural considerations on the executions of the schedules. These results show that our approach provides significant speedups in a wide-range of situations. Third, schedules produced by our approach are executed on a two-processor Data General shared memory multiprocessor system. These experiments show that there is a strong correlation between our simulation results, and these actual executions, and thereby serve to validate the simulation studies. Together, our results establish that fine grained parallelism can be exploited in a substantial manner when scheduling a sequential instruction stream for execution “in parallel” on asynchronous multiprocessors     

NETWORKING WITH A HUMAN FACE Mentoring as a Career Strategy

Mentoring has been around for ages, often masquerading as the management club or the fast track. Among successful business unit managers, mentoring is a well-understood practice, and it's a career development strategy today's IS professional would be wise to consider.     

Algebra of algorithms and Kaluzhnin's graphschemas

This research was supported under project No. 6.02.02/128-93 as part of the state scientific-technical program on future information technologies and systems by the Ukrainian State Committee, of Science and Technology.     

Review of the Robotica software package for robotic manipulators

Robotica is a computer-aided design package for robotic nmanipulators developed at the Coordinated Science Laboratory at the University of Illinois at Urbana- Champaign. The package is a collection of function definitions for the Mathematica symbolic mathematics program. Robotica can be used either with an X- Windows graphical user interface (GUI) on a Sun Workstation or as an included function definition file within Mathematica. The primary feature of Robotica is the ability to compute, symbolically or numerically, the kinematic and dynamic equations of arbitrary robot systems utilizing the standard Denevit-Hartenburg (DH) kinematic convention. Robotica also provides the ability to visualize these arbitrary manipulators using the X- Windows graphical interface to the Mathematica graphics routines. The paper looks at the usage of Robotica at the Air Force Institute of Technology, comments on the features of Robotica, and needs for improvement and suggestions for future development     

Gonadal steroids have paradoxical effects on brain oxytocin receptors

Specific brain receptors for oxytocin have been described in several mammalian species. The distribution of these receptors differs greatly across species and in the rat, receptor binding in specific brain regions appears to depend upon gonadal steroids. This study used in vitro receptor autoradiography to examine the effects of testosterone on oxytocin receptor binding in the mouse forebrain. Three groups of male mice were compared: castrates treated with blank capsules, castrates treated with testosterone filled capsules, and intact males. Irrespective of steroid treatment, the distribution of oxytocin receptors in mouse forebrain differed markedly from patterns previously described in the rat. In addition to these species differences in receptor distribution, testosterone had effects in the mouse which differed from the induction of receptors previously reported in the rat. In the mouse ventromedial nucleus of the hypothalamus, binding in the untreated castrate males was approximately double that observed in either the intact or the testosterone-treated castrates. In other regions of the mouse brain, such as the intermediate zone of the lateral septum, binding to oxytocin receptors was increased with testosterone treatment. These results suggest that the brain oxytocin receptor varies across species not only in its distribution but also in its regional regulation by gonadal steroids. These apparently paradoxical changes in oxytocin receptor binding may result from either direct or indirect effects of gonadal steroids in mouse brain.