Secure multi-execution (SME) is a dynamic technique to ensure secure information flow. In a nutshell, SME enforces security by running one execution of the program per security level, and by reinterpreting input/output operations w.r.t. their associated security level. SME is sound, in the sense that the execution of a program under SME is non-interfering, and precise, in the sense that for pro...

Non-interference can be de ned as a program property that give guaranties on the independence of speci c (public) outputs of a program from speci c (secret) inputs. The notion of non-interference does not depend on one particular execution of the program (unlike illegal memory access for example), but on its global behavior. To develop a certi ed system verifying information ows, such as non-in...

Execution of simulation programs requires large amounts of CPU resources. Parallel Independent Replications (PIR) is one method of reducing simulation run time by enabling time-based parallelization of simulations on multiple distributed machines. Existing PIR systems are targeted for Unix machines. A Windows-based program for distributing executables and their associated input and output files...

In this paper we propose a suitable reference wave for Pulse Width Modulation (PWM) AC Drives. Staircase reference waves whose levels are calculated to eliminate certain harmonics are studied and a certain staircase reference waveform with L levels is constructed. When L is made very large in limit, this staircase waveform approaches a continuous one which is called Quasine (Quasi + Sine). This...

A typical oracle problem is finding which software program is installed on a computer, by running the computer and testing its input-output behaviour. The program is randomly chosen from a set of programs known to the problem solver. As well known, some oracle problems are solved more efficiently by using quantum algorithms; this naturally implies changing the computer to quantum, while the cho...

SIGNAL SCAN is a program that utilizes a transcription factor database to find potential transcription factor binding sites in DNA sequences. The program is now in its third version. The SIGNAL SCAN transcription factor database format has changed and the program output format has been improved. New features allow the user to update the SIGNAL SCAN database automatically, to retrieve original j...

There is a paucity of data in the literature concerning the validation of the grant application peer review process, which is used to help direct billions of dollars in research funds. Ultimately, this validation will hinge upon empirical data relating the output of funded projects to the predictions implicit in the overall scientific merit scores from the peer review of submitted applications....