Top-down (LL) parsers are easy to express in functional programming languages, but the elegant functional programming model can also serve as an exact prototype for a `real' implementation of the technology in ansi C. The result is a compiler-compiler that takes unlimited lookahead and backtracking, the extended BNF notation, and parameterized grammars with (higher order) metaparameters to the ...

In a large class of embedded systems, dynamic multithreading using traditional OS techniques is infeasible due to memory and processing overheads or lack of operating systems (OS) availability for the target embedded processor. In this work, we propose a source-to-source translator that takes a POSIX compliant multithreaded C program as input and generates an equivalent, embedded processor inde...

This paper proposes a new set of isolation level characterizations that are portable across implementations. That is, these characterizations are applicable to locking implementations of the ANSI-SQL isolation levels as well as optimistic concurrency control schemes. The paper also provides definitions of some additional levels that are weaker than serializability. These include the multi-versi...

We propose a new block cipher, DEAL, based on the DES (DEA). DEAL has a block size of 128 bits and allows for three key sizes of 128, 192, and 256 bits respectively. Our proposal has several advantages to other schemes: because of the large blocks, the problem of the \matching ciphertext attacks" is made small, and the encryption rate is similar to that of triple-DES. We conjecture that the mos...

Industrial manufacturing of injectable drug products presents very different and difficult challenges when compared to other industrial manufacturing applications. In order to enhance patient safety and ensure product quality the Pharmaceutical Industry has been implementing systems called Advanced Aseptic Processing (AAP) systems. Advanced Aseptic Processing systems utilize advanced forms of a...

The solubility, pH, electrical conductivity, and radiopacity of AH Plus and MTA FillApex were evaluated. In addition, the surfaces morphologies of the sealers were analyzed by using scanning electron microscopy. For pH test, the samples were immersed in distilled water at different periods of time. The same solution was used for electrical conductivity measurement. The solubility and radiopacit...

The Elliptic Curve Digital Signature Algorithm (ECDSA) is the elliptic curve analogue of the Digital Signature Algorithm (DSA). It was accepted in 1999 as an ANSI standard, and was accepted in 2000 as IEEE and NIST standards. It was also accepted in 1998 as an ISO standard, and is under consideration for inclusion in some other ISO standards. Unlike the ordinary discrete logarithm problem and t...