The Java Virtual Machine (Jvm) needs, for the purpose of garbage collection (GC), to determine the data type stored in every memory location. Jvms that can do this reliably are said to be type-accurate (TA). Full typeaccuracy usually exacts a price in performance due to the need to scan stacks and registers accurately. The mostly accurate approach presented here can reduce the TA overhead signi...

Interpretation Abstract Interpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as triesInterpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as tries CHAPTER META PROGRAMMING AI of a Simple Nested Procedural Language see warren xsb ...

Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This paper describes an improved bytecode analyser together with algorithms for optimizing the stack maps generated. The analyser is simplified in its treatment of base values (keeping only the necessary information to ensure memory saf...

We introduce an algorithm to determine when a sorting operation, such as stack-sort or bubble-sort, outputs a given pattern. The algorithm provides a new proof of the description of West-2-stack-sortable permutations, that is permutations that are completely sorted when passed twice through a stack, in terms of patterns. We also solve the long-standing problem of describing West-3-stack-sortabl...

The Escherichia coli type I-E CRISPR-Cas system Cascade effector is a multisubunit complex that binds CRISPR RNA (crRNA). Through its 32-nucleotide spacer sequence, Cascade-bound crRNA recognizes protospacers in foreign DNA, causing its destruction during CRISPR interference or acquisition of additional spacers in CRISPR array during primed CRISPR adaptation. Within Cascade, the crRNA spacer in...

Embedded speciications in object-oriented (OO) languages such as Eiiel and Sather are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. The underlying method of \design-by-contract" is based on Hoare logic for which concurrency extensions exist. However concurrent OO languages are still in their infancy. They have inherently imperative facets...

We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutati...

Cascade reliability model is a special type of Stress Strength model. The n Cascade system is a h ierarch ical standby redundancy system, where the standby component taking the place of failed component with decreased value of stress and independently distributed strength. This paper deals with the generalized exponential distribution with cascade system.