Seamless mobility with personal servers

We describe the concept and the taxonomy of personal servers, and their implications in seamless mobility. Personal servers could offer electronic services independently of network availability or quality, provide a greater flexibility in the choice of user access device, and support the key concept of continuous user experience. We describe the organization of mobile and remote personal servers, define three relevant communication modes, and discuss means for users to exploit seamless services on the personal server

Judicial Engagement, New Originalism, and the Fortieth Anniversary of \u3ci\u3eGovernment by Judiciary\u3c/i\u3e

Part I briefly summarizes Berger’s originalist approach. Part II describes how the new Judicial Engagement originalists suggest judges should resolve constitutional cases. Part III explains why text and history do not support their judicially enforceable, libertarian political agendas. Part III does not suggest that this agenda leads to bad results, is harmful, or should not be adopted by today’s judges. But for the sake of governmental and academic transparency, judges, legal scholars, and politicians who embrace Judicial Engagement, should also accept that their theory of judicial review is not supported by either the Constitution’s text or history. Judicial Engagement can only be justified by adopting a “living Constitution” approach to constitutional interpretation

Fault-free validation of a fault-tolerant multiprocessor: Baseline experiments and workoad implementation

In the future, aircraft employing active control technology must use highly reliable multiprocessors in order to achieve flight safety. Such computers must be experimentally validated before they are deployed. This project outlines a methodology for doing fault-free validation of reliable multiprocessors. The methodology begins with baseline experiments, which test single phenomenon. As experiments progress, tools for performance testing are developed. This report presents the results of interrupt baseline experiments performed on the Fault-Tolerant Multiprocessor (FTMP) at NASA-Langley's AIRLAB. Interrupt-causing excepting conditions were tested, and several were found to have unimplemented interrupt handling software while one had an unimplemented interrupt vector. A synthetic workload model for realtime multiprocessors is then developed as an application level performance analysis tool. Details of the workload implementation and calibration are presented. Both the experimental methodology and the synthetic workload model are general enough to be applicable to reliable multi-processors besides FTMP

Validation of a fault-tolerant multiprocessor: Baseline experiments and workload implementation

In the future, aircraft must employ highly reliable multiprocessors in order to achieve flight safety. Such computers must be experimentally validated before they are deployed. This project outlines a methodology for validating reliable multiprocessors. The methodology begins with baseline experiments, which tests a single phenomenon. As experiments progress, tools for performance testing are developed. The methodology is used, in part, on the Fault Tolerant Multiprocessor (FTMP) at NASA-Langley's AIRLAB facility. Experiments are designed to evaluate the fault-free performance of the system. Presented are the results of interrupt baseline experiments performed on FTMP. Interrupt causing exception conditions were tested, and several were found to have unimplemented interrupt handling software while one had an unimplemented interrupt vector. A synthetic workload model for realtime multiprocessors is then developed as an application level performance analysis tool. Details of the workload implementation and calibration are presented. Both the experimental methodology and the synthetic workload model are general enough to be applicable to reliable multiprocessors beside FTMP

Adaptation kinetics in bacterial chemotaxis

Cells of Escherichia coli, tethered to glass by a single flagellum, were subjected to constant flow of a medium containing the attractant alpha-methyl-DL-aspartate. The concentration of this chemical was varied with a programmable mixing apparatus over a range spanning the dissociation constant of the chemoreceptor at rates comparable to those experienced by cells swimming in spatial gradients. When an exponentially increasing ramp was turned on (a ramp that increases the chemoreceptor occupancy linearly), the rotational bias of the cells (the fraction of time spent spinning counterclockwise) changed rapidly to a higher stable level, which persisted for the duration of the ramp. The change in bias increased with ramp rate, i.e., with the time rate of change of chemoreceptor occupancy. This behavior can be accounted for by a model for adaptation involving proportional control, in which the flagellar motors respond to an error signal proportional to the difference between the current occupancy and the occupancy averaged over the recent past. Distributions of clockwise and counterclockwise rotation intervals were found to be exponential. This result cannot be explained by a response regular model in which transitions between rotational states are generated by threshold crossings of a regular subject to statistical fluctuation; this mechanism generates distributions with far too many long events. However, the data can be fit by a model in which transitions between rotational states are governed by first-order rate constants. The error signal acts as a bias regulator, controlling the values of these constants

Validation of multiprocessor systems

Experiments that can be used to validate fault free performance of multiprocessor systems in aerospace systems integrating flight controls and avionics are discussed. Engineering prototypes for two fault tolerant multiprocessors are tested