Reasoning in Abella about Structural Operational Semantics Specifications Fulltext Access 16 Pages 2009
Equational Abstractions for Reducing the State Space of Rewrite Theories Fulltext Access 16 Pages 2009
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol Fulltext Access 16 Pages 2009
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice Fulltext Access 16 Pages 2009
A Semantic Condition for Data Independence and Applications in Hardware Verification Fulltext Access 16 Pages 2009
Verifying Communication Protocols Using Live Sequence Chart Specifications Fulltext Access 16 Pages 2009
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete Fulltext Access 16 Pages 2009
Multiple pass streaming algorithms for learning mixtures of distributions in Rd Fulltext Access 16 Pages 2009
Optimal construction of k-nearest-neighbor graphs for identifying noisy clusters Fulltext Access 16 Pages 2009
A prolongation–projection algorithm for computing the finite real variety of an ideal Fulltext Access 16 Pages 2009
A constructive Borel–Cantelli lemma. Constructing orbits with required statistical properties Fulltext Access 16 Pages 2009
Reading beside the lines: Using indentation to rank revisions by complexity Fulltext Access 16 Pages 2009
Optimization of a lattice Boltzmann computation on state-of-the-art multicore platforms Fulltext Access 16 Pages 2009
Design and performance of speculative flow control for high-radix datacenter interconnect switches Fulltext Access 16 Pages 2009
Deciding equivalence of top–down XML transformations in polynomial time Fulltext Access 16 Pages 2009
Resource allocation on computational grids using a utility model and the knapsack problem Fulltext Access 16 Pages 2009
On the choice of the smoothing parameter for the BHEP goodness-of-fit test Fulltext Access 16 Pages 2009
Simploidals sets: Definitions, operations and comparison with simplicial sets Fulltext Access 16 Pages 2009
The complexity of minimizing the number of shape matrices subject to minimal beam-on time in multileaf collimator field decomposition with bounded fluence Fulltext Access 16 Pages 2009
On the approximability of the Maximum Agreement SubTree and Maximum Compatible Tree problems Fulltext Access 16 Pages 2009
Approximation algorithms for constrained generalized tree alignment problem Fulltext Access 16 Pages 2009
Ferret: Programming language support for multiple dynamic classification Fulltext Access 16 Pages 2009
Utility-driven solution for optimal resource allocation in computational grid Fulltext Access 16 Pages 2009
A robust sign test for panel unit roots under cross sectional dependence Fulltext Access 16 Pages 2009
Saddlepoint approximation for semi-Markov processes with application to a cardiovascular randomised study Fulltext Access 16 Pages 2009
Utilizing identity-by-descent probabilities for genetic fine-mapping in population based samples, via spatial smoothing of haplotype effects Fulltext Access 16 Pages 2009
A neuro-computational intelligence analysis of the ecological footprint of nations Fulltext Access 16 Pages 2009
Nonignorable dropout models for longitudinal binary data with random effects: An application of Monte Carlo approximation through the Gibbs output Fulltext Access 16 Pages 2009
Semiparametric analysis of survival data with left truncation and right censoring Fulltext Access 16 Pages 2009
A new R package for Bayesian estimation of multivariate normal mixtures allowing for selection of the number of components and interval-censored data Fulltext Access 16 Pages 2009
Towards a definition of higher order constrained Delaunay triangulations Fulltext Access 16 Pages 2009
Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fulltext Access 16 Pages 2009
Reconstruction of Partial Orders and List Representation as Random Structures Fulltext Access 16 Pages 2009
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem Fulltext Access 16 Pages 2009
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol Fulltext Access 16 Pages 2009
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis Fulltext Access 16 Pages 2009
jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines Fulltext Access 16 Pages 2009
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Fulltext Access 16 Pages 2009