scientific article

From MaRDI portal
Publication:4003964

zbMath0752.68014MaRDI QIDQ4003964

John L. Hennessy, David A. Patterson

Publication date: 18 September 1992


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (82)

A novel computer architecture to prevent destruction by virusesA generic interface for parallel cell-based finite element operator applicationMethods for message routing in parallel machinesBlock delayed Majorize-Minimize subspace algorithm for large scale image restoration *The Reduceron reconfigured and re-evaluatedFast algorithm for generating Bernstein-Bézier polynomialsAnalysis of pivot sampling in dual-pivot Quicksort: a holistic analysis of Yaroslavskiy's partitioning schemeModular multiplication using the core function in the residue number systemEfficient utilization of shared caches in multicore architecturesA compact finite differences exact projection method for the Navier-Stokes equations on a staggered grid with fourth-order spatial precisionA simple volume-of-fluid reconstruction method for three-dimensional two-phase flowsWhy there is no general solution to the problem of software verificationAn algorithmic framework for solving large-scale multistage stochastic mixed 0-1 problems with nonsymmetric scenario trees. II: ParallelizationMore agents may decrease global work: a case in butterfly decontaminationAsymptotic optimality of statistical multiplexing in pipelined processingBounds on the Geometric Mean of Arc Lengths for Bounded-Degree Planar GraphsA complexity O(1) priority queue for event driven molecular dynamics simulationsRecursive computation of discrete Legendre polynomial coefficientsUsing integer linear programming for instruction scheduling and register allocation in multi-issue processorsInteger codes correcting single errors and random asymmetric errors within a byteOptimal eviction policies for stochastic address tracesAmdahl's law revisited for single chip systemsNon-dominated sorting procedure for Pareto dominance ranking on multicore CPU and/or GPUIn situ ray tracing and computational steering for interactive blood flow simulationPerformance modeling of hybrid MPI/OpenMP scientific applications on large-scale multicore supercomputers\texttt{MEEP}: a flexible free-software package for electromagnetic simulations by the FDTD methodParallelization of triangular decompositions: techniques and implementationParVec: vectorizing the PARSEC benchmark suiteClassical and all-floating FETI methods for the simulation of arterial tissuesAn Improved Vectorization Algorithm to Solve the d-MP ProblemMathematical model of stored logic based computationOblivious algorithms for multicores and networks of processorsInplace run-length 2d compressed search.High Performance Implementation of Binomial Option PricingGPU-accelerated solutions of the nonlinear Schrödinger equation for simulating 2D spinor BECsA hybrid branch-and-bound and evolutionary approach for allocating strings of applications to heterogeneous distributed computing systemsA pipelined-loop-compatible architecture and algorithm to reduce variable-length sets of floating-point data on a reconfigurable computerA highly efficient implementation of a backpropagation learning algorithm using matrix ISAInteger codes correcting burst and random asymmetric errors within a byteParallel algorithms for Burrows-Wheeler compression and decompressionUpper and lower I/O bounds for pebbling \(r\)-pyramidsOn the complexity of min-max sorting networksProbabilistic resource allocation in heterogeneous distributed systems with random failuresAlgebraic models of correctness for abstract pipelines.Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.Formal communication elimination and sequentialization equivalence proofs for distributed system modelsParallel discrete molecular dynamics simulation with speculation and in-order commitmentOn the interpretation of mathematical entities in the formalisation of programming and modelling languagesUpper and Lower I/O Bounds for Pebbling r-PyramidsMethods for compressible fluid simulation on GPUs using high-order finite differencesA mass conserving boundary condition for the lattice Boltzmann equation methodNormative dynamic analysis of extreme operational modes of a heterogeneous computing systemTowards exact geometric computationOn the operating unit size of load/store architecturesSome useful strategies for unstructured edge-based solvers on shared memory machinesAn integer programming approach to optimal basic block instruction scheduling for single-issue processorsA parallel branch-and-fix coordination based matheuristic algorithm for solving large sized multistage stochastic mixed 0-1 problemsCache efficient data structures and algorithms for adaptive multidimensional multilevel finite element solversArchitectural exploration of heterogeneous multiprocessor systems for JPEGFaster min-max resource sharing in theory and practiceMemory encryptionApproximate string matching with stuck address bitsAdaptive partitioning techniques for index 1 IDEsThe worst page-replacement policyThe combinatorics of cache misses during matrix multiplicationModeling and Simulative Performance Analysis of SMP and Clustered Computer ArchitecturesMembrane Computing in Connex EnvironmentTesting diagnostics of modern microprocessors with the use of functional modelsHierarchical Adaptive State Space Caching Based on Level SamplingMaurer computers for pipelined instruction processingLearning heuristics for basic block instruction schedulingConstructive and destructive use of compilers in elliptic curve cryptographyEfficient Union-Find for planar graphs and other sparse graph classesApproximate string matching with address bit errorsA polynomial-time DNA computing solution for the bin-packing problemCut-elimination for a logic with definitions and inductionA parallel adaptive coupling algorithm for systems of differential equationsIn-place self-sorting fast Fourier transform algorithm with local memory referencesDesigning a reversible stack machineMothers of PipelinesAdvances in design and implementation of optimization softwareA complete system for NN classification based on a VLSI array processor




This page was built for publication: