Aguilera, Gafni and Lamport introduced the signaling problem in [5]. In this problem, two processes numbered 0 and 1 can call two procedures: update and Fscan. A parameter of the problem is a twovariable function F (x0, x1). Each process pi can assign values to variable xi by calling update(v) with some data value v, and compute the value: F (x0, x1) by executing an Fscan procedure. The problem...

The embedded core testing methodology at Advanced Micro Devices Inc. involves adopting a disciplined system for developing new products with a focus on time to market and engineering productivity. A key factor is to achieve high and verifiable fault coverage for designs by closely adhering to guidelines and by increased test automation. This paper will address the design for test (DFT) aspects ...

Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. Mozilla, for example, uses SFI harden the Firefox browser by third-party libraries, and companies like Fastly Cloudflare use safely co-locate tenants on their edge clouds. While there have been significant efforts optimize verify enforcement, context swit...

Fundamental frequency ranges of six normal infants and children from 33 to 169 weeks were determined by narrow-band spectrographic analysis. Fundamental frequency values ranged from 30 to 2500 Hz, well outside the values reported in previous studies of noncry utterances. The use of fry, modal, and high registers is also discussed.

QEMU [1] is a system emulator that can run unmodified guest operating systems on a host OS, where the guest and host CPU architecture can be different. For example, QEMU can run x86 guest OSes on a MIPS host, or even x86 on x86 (e.g., a Windows guest on a Linux host). QEMU emulates a complete system including processors, devices, and chipsets. More implementation details regarding QEMU are avai...

This paper describes a new non-optimizing compiler for the ECMA-55 Minimal BASIC language that generates x86-64 assembler code for use on the x86-64 Linux® [1] 3.x platform. The compiler was implemented in C99 and the generated assembly language is in the AT&T style and is for the GNU assembler. The generated code is stand-alone and does not require any shared libraries to run, since it makes s...