A fully linear-time approximation algorithm for grammar-based compression Fulltext Access 15 Pages 2005
Latent periodicity of serine-threonine and tyrosine protein kinases and other protein families Fulltext Access 15 Pages 2005
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking Fulltext Access 15 Pages 2005
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda Fulltext Access 15 Pages 2005
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems Fulltext Access 15 Pages 2005
Bounds on the OBDD-size of integer multiplication via universal hashing Fulltext Access 15 Pages 2005
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic Fulltext Access 15 Pages 2005
ACTAS : A System Design for Associative and Commutative Tree Automata Theory Fulltext Access 15 Pages 2005
Computationally universal P systems without priorities: two catalysts are sufficient Fulltext Access 16 Pages 2005
Memory-side prefetching for linked data structures for processor-in-memory systems Fulltext Access 16 Pages 2005
A dynamic and reliability-driven scheduling algorithm for parallel real-time jobs executing on heterogeneous clusters Fulltext Access 16 Pages 2005
A framework for the design, synthesis and cycle-accurate simulation of multiprocessor networks Fulltext Access 16 Pages 2005
A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity Fulltext Access 16 Pages 2005
Distributed block independent set algorithms and parallel multilevel ILU preconditioners Fulltext Access 16 Pages 2005
An efficient exact adjoint of the parallel MIT General Circulation Model, generated via automatic differentiation Fulltext Access 16 Pages 2005
Reconstruction of convex polyominoes from orthogonal projections of their contours Fulltext Access 16 Pages 2005
Structural filtering: a paradigm for efficient and exact geometric programs Fulltext Access 16 Pages 2005
Towards a proof of the decidability of the momentary stagnation of the growth function of D0L systems Fulltext Access 16 Pages 2005