The Mayfly, a parallel processor being built at HP Labs in Palo Alto, has architectural support for several important aspects of the OM virtual machine for parallel logic programs. Each node has an extra processor that is able to relieve the main processor of a significant amount of the “housekeeping” work of memory management, task switching, and message handling. This paper describes how the ...

This paper describes our work with Simics [1] in the evaluation of protocol offloading to keep low the communication overheads on the host CPU. Simics is a platform that can be used for a functional system simulation, including the application program, the operating system, the protocol stack and the device drivers. Nevertheless, network-oriented applications require a full-system simulation th...

A real-time program can be developed by refining a specification into program code. Verification of the timing properties of the program is then usually done at two levels: verification of the ordering of timed actions in the program and proof that execution of the program on a specific system will meet its timing requirements. Refinement is done within a formal model but the second step requir...

Engine performance depends on two main factors of engine speed and ignition time. Ignition timing can affect engine life, fuel economy and engine power. In this paper, to study engine performance of Peugeot 206 TU3A with comparison ratio of 10.5:1 and displacement of 1361CC in MATLAB software, a two-zone burned/unburned model with the fuel burning rate described by aWiebe function was used for ...

The Personal Responsibility and Work Opportunity Reconciliation Act of 1996 (PRWORA) fundamentally altered the safety net for lowincome families. PRWORA eliminated the 61-year-old Aid to Families with Dependent Children (AFDC) program and its companion welfare-to-work program—the Job Opportunities and Basic Skills (JOBS) training program. The new law provides states with block grants to establi...