Current Search:  Van Engelen, Robert (x)

Search results

  • CSV Spreadsheet
(1 - 49 of 49)
Openmath Library for Computing on Riemann Surfaces
Closed Form Solutions of Linear Difference Equations
Acceleration Methods Forbayesian Network Sampling
Chern-Schwartz-Macpherson Classes of Graph Hypersurfaces and Schubert Varieties
Solutions of Second Order Recurrence Relations
Representation of Association Semantics with Annotations in a Biodiversity          Informatics System
Reducing the WCET of Applications on Low End Embedded Systems
Application Configurable Processors
Design, Implementation, and Evaluation of a Reliable Multicast Protocol for          Ethernet Switched Networks
Developing a Bioinformatics Utility Belt to Eliminate Search Redundancy from the          Ever-Growing Databases
Improving Monte Carlo Linear Solvers Through Better Iterative Processes
Aeroacoustic Characteristics of Supersonic Twin Jets
Mechanism for Tracking the Effects of Requirement Changes in Enterprise Software          Systems
Efficient XML Stream Processing and Searching
Optimizing MPI Point-to-Point Communication Performance on RDMA-Enabled SMP-CMP Clusters
Realtime Computing with the Parareal Algorithm
Parallel Random Number Generation
Parametric Uncertainty Analysis of Uranium Transport Surface Complexation Models
Massively Parallel Algorithms for CFD Simulation and Optimization on Heterogeneous Many-Core Architectures
Adaptive Series Estimators for Copula Densities
Unified Compiler Framework for Program Analysis, Optimization, and Automatic Vectorization with Chains of Recurrences
Content Markup Language Design Principles
Extensions and Optimizations to the Scalable, Parallel Random Number Generators Library
Extensions and Optimizations to the Scalable, Parallel Random Number Generators Library
There & Never Back Again
Block Incremental Algorithm for Computing Dominant Singular Subspaces
Interaction Design Patterns for Musical Applications
Formally Evaluating Wireless Security Protocols
Reducing the Cost of Comparisons within Conditional Transfers of Control
Scrambled Quasirandom Sequences and Their Applications
Modular Data Pipelining Architecture (MDPA) for Enabling Universal Accessibility in P2P Grids
Methods for Linear and Nonlinear Array Data Dependence Analysis with the Chains of Recurrences Algebra
Internet Computing with Matlab
Algorithms for Solving Linear Differential Equations with Rational Function Coefficients
Finding All Bessel Type Solutions for Linear Differential Equations with Rational Function Coefficients
Solving Linear Differential Equations in Terms of Hypergeometric Functions by ₂-Descent
Hypergeometric Solutions of Linear Differential Equations with Rational Function Coefficients
Factoring Univariate Polynomials over the Rationals
Assimilation of Airs Radiance Observations into a Mesoscale Model
Enhancing Pattern Classification with Relational Fuzzy Neural Networks and Square          BK-Products
Metrics and Techniques to Guide Software Development
Feistel-Inspired Scrambling Improves the Quality of Linear Congruential Generators
staDFA
Modeling and Comparison of Large-Scale Interconnect Designs
Platforms for Hpjava
Enhanced Security for Mobile Agent Systems
Grid Computing Infrastructure for Monte Carlo Applications
Improving Processor Efficiency Through Enhanced Instruction Fetch
Computational Transformation Between Different Symbolic Representations of BK Products of Fuzzy Relations