Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout	Parameterized tiled loops for free.	PLDI	2007	DBLP DOI BibTeX RDF	parameterized tiling, code generation, bounding box, Fourier-Motzkin elimination
12	Andrey Bogdanov, Thomas Eisenbarth 0001, Andy Rupp	A Hardware-Assisted Realtime Attack on A5/2 Without Precomputations.	CHES	2007	DBLP DOI BibTeX RDF	A5/2, SMITH, cryptanalysis, GSM, Gaussian elimination, special-purpose hardware, linear systems of equations
12	Shou-Der Wei, Shang-Hong Lai	Fast Normalized Cross Correlation Based on Adaptive Multilevel Winner Update.	PCM	2007	DBLP DOI BibTeX RDF	winner update strategy, multi-level successive elimination, pattern matching, fast algorithms, normalized cross correlation
12	Anjin Park, Kwangjin Hong, Keechul Jung	Better Foreground Segmentation for 3D Face Reconstruction Using Graph Cuts.	PSIVT	2007	DBLP DOI BibTeX RDF	Shadow Elimination, 3D Face Reconstruction, Graph Cuts, Foreground Segmentation
12	László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó	A Modified Fuzzy C-Means Algorithm for MR Brain Image Segmentation.	ICIAR	2007	DBLP DOI BibTeX RDF	context dependent filter, image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm
12	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
12	Van-Ly Le	Polly Two : A New Algebraic Polynomial-based Public-Key Scheme.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Combinatorially algebraic public-key cryptoschemes, Polly Cracker, EnRoot, Linear-Algebra attacks, System of algebraic equations, Elimination ideals, Sparse polynomials
12	Jingling Xue, Qiong Cai	A lifetime optimal algorithm for speculative PRE.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality
12	Alexander Egyed, David S. Wile	Support for Managing Design-Time Decisions.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	design choices, choice elimination, UML, consistency checking, design alternatives
12	Yu-Wen Huang, Ching-Yeh Chen, Chen-Han Tsai, Chun-Fu Shen, Liang-Gee Chen	Survey on Block Matching Motion Estimation Algorithms and Architectures with New Results.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	global elimination algorithm, motion estimation, VLSI architecture, block matching
12	Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard	Deciding Boolean Algebra with Presburger Arithmetic.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic
12	Ben L. Titzer	Virgil: objects on the head of a pin.	OOPSLA	2006	DBLP DOI BibTeX RDF	data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination
12	Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
12	Eduardo A. C. da Costa, Paulo F. Flores, José Monteiro 0001	Exploiting general coefficient representation for the optimal sharing of partial products in MCMs.	SBCCI	2006	DBLP DOI BibTeX RDF	common subexpression elimination (CSE), digital filter design, minimal signed digit (MSD), multiple constant multiplication (MCM)
12	Guillaume Moroz	Complexity of the resolution of parametric systems of polynomial equations and inequations.	ISSAC	2006	DBLP DOI BibTeX RDF	discriminant variety, parametric polynomial system, complexity, elimination
12	Nicole Schweikardt	Arithmetic, first-order logic, and counting quantifiers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
12	Dominic J. D. Hughes, Rob J. van Glabbeek	Proof nets for unit-free multiplicative-additive linear logic.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Linear logic, cut elimination, additives, proof nets
12	Katalin Bimbó	Admissibility of Cut in LC with Fixed Point Combinator.	Stud Logica	2005	DBLP DOI BibTeX RDF	structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
12	Stefan Szeider	Backdoor Sets for DLL Subsolvers.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	unit propagation, pure literal elimination, backdoor sets, W[P]-completeness, satisfiability, parameterized complexity
12	Agata Ciabattoni	A proof-theoretical investigation of global intuitionistic (fuzzy) logic.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination
12	Daniel Mueller 0001, Guido Stehr, Helmut E. Graeb, Ulf Schlichtmann	Deterministic approaches to analog performance space exploration (PSE).	DAC	2005	DBLP DOI BibTeX RDF	performance space exploration, pareto optimization, analog integrated circuits, fourier motzkin elimination
12	Nicholas I. M. Gould, Jennifer A. Scott	A numerical evaluation of HSL packages for the direct solution of large sparse, symmetric linear systems of equations.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	symmetric linear systems, software, sparse matrices, Gaussian elimination, Direct solvers
12	Anne Berry, Jean R. S. Blair, Pinar Heggernes, Barry W. Peyton	Maximum Cardinality Search for Computing Minimal Triangulations of Graphs.	Algorithmica	2004	DBLP DOI BibTeX RDF	Minimal triangulations, Minimal elimination ordering, Minimal fill, Chordal graphs
12	Robert D. Carr, Giuseppe Lancia	Compact optimization can outperform separation: A case study in structural proteomics.	4OR	2004	DBLP DOI BibTeX RDF	compact optimization, subtour-elimination, Linear programming, contact map
12	Silvio Ghilardi	Model-Theoretic Methods in Combined Constraint Satisfiability.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination
12	Itay Ben-Yaacov, Alexander Berenstein	Imaginaries in Hilbert spaces.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Elimination of imaginaries, Hilbert spaces
12	Evelyne Hubert	Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases.	ISSAC	2004	DBLP DOI BibTeX RDF	differential elimination, differential ideal theory, subresultant polynomial remainder sequence, systems of differential equations, triangular sets
12	Georgios I. Goumas, Maria Athanasaki, Nectarios Koziris	An Efficient Code Generation Technique for Tiled Iteration Spaces.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	nonunimodular transformations, code generation, Loop tiling, Fourier-Motzkin elimination, supernodes
12	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Theorem Proving Modulo.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
12	Yannis Sismanis, Antonios Deligiannakis, Yannis Kotidis, Nick Roussopoulos	Hierarchical dwarfs for the rollup cube.	DOLAP	2003	DBLP DOI BibTeX RDF	dwarf cube, prefix elimination, structural redundancy, suffix coalescing, indexing, aggregation, OLAP, granularity, data cubes, materialization, warehouses
12	Bernard N. Sheehan	Branch Merge Reduction of RLCM Networks.	ICCAD	2003	DBLP DOI BibTeX RDF	transmission-line modeling, Gaussian elimination, model order reduction, Parasitic extraction
12	Akihito Takahashi, Mostafa I. Soliman, Stanislav Sedukhin	Parallel LU-decomposition on Pentium Streaming SIMD Extensions.	ISHPC	2003	DBLP DOI BibTeX RDF	streaming SIMD, performance evaluation, parallel processing, data reusing, Gaussian elimination
12	Gregory J. Reid, Jianliang Tang, Lihong Zhi	A complete symbolic-numeric linear method for camera pose determination.	ISSAC	2003	DBLP DOI BibTeX RDF	involutive bases, jet spaces, numeric elimination, numeric jet geometry, polynomial solving, calibration, partial differential equations, numerical linear algebra, camera pose estimation
12	Zengping Tian, Hongjun Lu, Wenyun Ji, Aoying Zhou, Zhong Tian	yn n-gram-based approach for detecting approximately duplicate database records.	Int. J. Digit. Libr.	2002	DBLP DOI BibTeX RDF	Data quality, Edit distance, N-gram, Duplicate elimination
12	Jens Knoop, Eduard Mehofer	Distribution Assignment Placement: Effective Optimization of Redistribution Costs.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	dynamic data redistribution, partially dead and partially redundant assignment elimination, optimization, data flow analysis, High-Performance Fortran (HPF), Data-parallel languages
12	Sam Yuan Sung, Zhao Li, Sun Peng	A fast filtering scheme for large database cleansing.	CIKM	2002	DBLP DOI BibTeX RDF	filtering scheme, similarity, data cleansing, duplicate elimination
12	Georgios I. Goumas, Maria Athanasaki, Nectarios Koziris	Automatic code generation for executing tiled nested loops onto parallel architectures.	SAC	2002	DBLP DOI BibTeX RDF	non-unimodular transformations, code generation, loop tiling, Fourier-Motzkin elimination, hermite normal forms
12	Patricio Perez, Jorge Reyes	Prediction of Particlulate Air Pollution using Neural Techniques.	Neural Comput. Appl.	2001	DBLP DOI BibTeX RDF	Particulate matter, Dynamical systems, Time series prediction, Feed-forward neural network, Air pollution, Noise elimination
12	Neelima Gupta, Sandeep Sen	An Efficient Output-Size Sensitive Parallel Algorithm for Hidden-Surface Removal for Terrains.	Algorithmica	2001	DBLP DOI BibTeX RDF	Parallel algorithms, Data structure, Terrain, Output-sensitive, Hidden surface elimination
12	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing
12	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Using types to analyze and optimize object-oriented programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	classes and objects, method invocation, object orientation, polymorphism, alias analysis, redundancy elimination
12	Jungho Yoon	Computational Aspects of Approximation to Scattered Data by Using 'Shifted' Thin-Plate Splines.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	shifted thin-plate spline, Gauss elimination by degree, radial basis function, scattered data approximation, approximation order
12	Michel Cosnard, Laura Grigori	A parallel algorithm for sparse symbolic LU factorization without pivoting on out-of-core matrices.	ICS	2001	DBLP DOI BibTeX RDF	out of core matrices, symbolic factorization, parallel algorithms, MPI, sparse Gaussian elimination
12	Hans Zantema, Alfons Geser	A Complete Characterization of Termination of 0p 1q-> 1r 0s.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Simple termination, Transformation ordering, Dummy elimination, Derivation length, Termination, Term rewriting, String rewriting
12	Thom Mulders	On Short Multiplications and Divisions.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Polynomial arithmetic, Power series arithmetic, Fraction-free Gaussian elimination, Toeplitz matrices
12	Jesus Garcia-Lopez, Pedro A. Ramos	A Unified Approach to Conic Visibility.	Algorithmica	2000	DBLP DOI BibTeX RDF	Parallel algorithms, Data structure, Terrain, Output-sensitive, Hidden surface elimination
12	John F. Canny, Ioannis Z. Emiris	A subdivision-based algorithm for the sparse resultant.	J. ACM	2000	DBLP DOI BibTeX RDF	Newton polytope, effective Nullstellensatz, mixed volume, multivariate resultant, polyhedral subdivision, sparse elimination theory, asymptotic complexity
12	Michael Benedikt, Leonid Libkin	Relational queries over interpreted structures.	J. ACM	2000	DBLP DOI BibTeX RDF	0-minimality, collapse results, constraints, quantifier elimination, relational calculus
12	John Y. Lin, Ying Wu 0001, Thomas S. Huang	Modeling the Constraints of Human Hand Motion.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	human hand motion, motion constraint modelling, hand motion capture, large search space, learning approach, hand configuration space, lower-dimensional subspace, finger motion, linear behavior, video inputs, optimisation, redundancy, gesture recognition, nonlinear optimization, gesture interfaces, biomechanics, equalities, data gloves, inequalities, redundancy elimination, constraint theory, image motion analysis, articulated motion, CyberGlove
12	Arnaldo de Albuquerque Araújo, Bernardo Moreira De Faria, Helton J. Rees, Marco Aurélio R. Silva	Enhancing Microscope Biological Images with DIP Techniques.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	biological image enhancement, nervous system, laser-scanning confocal microscope, digital image processing techniques, cell nucleus, nervous terminations, nonideal image acquisition, error elimination, nonuniform brightness, image artifacts, regions of interest, neurophysiology, microscope images, hidden information, image noise
12	Silvio Jamil Ferzoli Guimarães, Arnaldo de Albuquerque Araújo, Gustavo C. Cerqueira	Old Movie Restoration using Opening by Surface.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	old movie restoration, opening by surface, area attribute, image information elimination, image restoration, defects
12	Iain S. Duff, Jennifer A. Scott	A frontal code for the solution of sparse positive-definite symmetric systems arising from finite-element applications.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	finite-element equations, sparse symmetric linear equations, symmetric frontal method, Gaussian elimination, Level 3 BLAS
12	Fabrice Rouillier	Solving Zero-Dimensional Systems Through the Rational Univariate Representation.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Resolution of polynomial systems, Elimination of variables, Real roots
12	Sheri J. Bernstein, Robert S. Duff	Optimizing Ada on the fly.	SIGAda	1999	DBLP DOI BibTeX RDF	check elimination, range checking, range propagation, uninitialized variables, optimization, Ada, compiler, array bounds checking, warnings
12	Jens Knoop, Bernhard Steffen	Code Motion for Explicitly Parallel Programs.	PPoPP	1999	DBLP DOI BibTeX RDF	bitvector problems, code motion (partial redundancy elimination), synchronization, shared memory, data-flow analysis, code optimization, interleaving semantics
12	Mark J. Encarnación	An Efficient Method for Computing Resultant Systems.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Resultant, Polynomial equation, Elimination theory
12	Roger Espasa, Mateo Valero, James E. Smith 0001	Out-of-Order Vector Architectures.	MICRO	1997	DBLP DOI BibTeX RDF	memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts
12	Iain S. Duff, Jennifer A. Scott	The Design of a New Frontal Code for Solving Sparse, Unsymmetric Systems.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	frontal method, large sparse matrices, real unsymmetric matrices, Gaussian elimination, level 3 BLAS
12	Iain S. Duff, John K. Reid	The Design of MA48: A Code for the Direct Solution of Sparse Unsymmetric Linear Systems of Equations.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	block triangular form, sparse unsymmetric matrices, error estimation, Gaussian elimination, BLAS
12	Iain S. Duff, John K. Reid	Exploiting Zeros on the Diagonal in the Direct Solution of Indefinite Sparse Symmetric Linear Systems.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	2×2 pivots, augmented systems, indefinite symmetric matrices, zero diagonal entries, Gaussian elimination, sparse, BLAS
12	Giorgio Carpaneto, Mauro Dell'Amico, Paolo Toth	Algorithm 750: CDT: A Subroutine for the Exact Solution of Large-Scale Asymmetric Travelling Salesman Problems.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	reduction procedure, subtour elimination, FORTRAN, branch and bound, assignment problem, asymmetric traveling salesman problem
12	Richard Gerber 0001, William W. Pugh, Manas Saksena	Parametric Dispatching of Hard Real-Time Tasks.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	variable elimination, scheduling, Real-time, operating systems, programming languages, linear constraints, dispatching
12	Wie-Ngan Chin, Eak-Khoon Goh	A Reexamination of "Optimization of Array Subscript Range Checks".	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	backward checks propagation, loop guard elimination, safe bound checks optimization, integer programming
12	Silke Kreitz, Andreas Hess 0001, T.-H. Anderson	Direct enumeration and size classification of soil bacteria using confocal laser scanning microscopy and image analysis.	ICIP	1995	DBLP DOI BibTeX RDF	soil, optical microscopy, cellular biophysics, biological techniques, measurement by laser beam, size classification, soil bacteria, bacteria enumeration, confocal laser scanning microscopy, microbiology, sharpening filter, background correction, area measurement, background particles elimination, automatic image analysis, biological research technique, image processing, biology computing, threshold selection
12	Teruhiko Yamada, Koji Yamazaki, Edward J. McCluskey	A simple technique for locating gate-level faults in combinational circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	electron probe analysis, optical microscopy, gate-level faults, error sources, fault deduction, fault elimination, ISCAS'85 benchmark circuits, physical defect analysis, electron beam probing, light emission microscopy, computational complexity, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, combinational circuits, digital simulation, circuit analysis computing, computation time, scanning electron microscopy, scanning electron microscopy, diagnostic resolution
12	Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung	Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols
12	Hans Zantema, Alfons Geser	A Complete Characterization of Termination of Op 1q -> 1r Os.	RTA	1995	DBLP DOI BibTeX RDF	simple termination, transformation ordering, dummy elimination, derivation length, termination, term rewriting, string rewriting
12	Yi Lu, Anthony C. Tisler	Gray scale filtering for line and word segmentation.	ICDAR	1995	DBLP DOI BibTeX RDF	gray scale filtering, word extraction, digital document image, minimum difference filters, average difference filters, crossing line elimination, character recognition, character recognition, line segmentation, character segmentation, word segmentation, line extraction, character extraction, text image
12	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Optimal Code Motion: Theory and Practice.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	t-refined flow graphs, critical edges, elimination of partial redundancies, lifetimes of registers, nondeterministic flowgraphs, data flow analysis, code motion, lifetime optimality, computational optimality
12	George K. Papakonstantinou, T. Panayiotopoulos	A full theorem-prover under uncertainty.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	inexact reasoning, Prolog, theorem-proving, certainty, model elimination
12	Özden Gür-Ali, William A. Wallace	Induction of Rules Subject to a Quality Constraint: Probabilistic Inductive Learning.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	quality constraint, probabilistic inductive learning, organizational databases, tree induction algorithms, total branching, subset elimination, maximum misclassification levels, minimum reliability levels, automated decision processes, claims process, compensation board, learning (artificial intelligence), decision support system, decision support systems, knowledge acquisition, deductive databases, rule induction, tree data structures, uncertainty handling, rule generation, statistical quality control, decision processes
12	Juan A. Garay, Shay Kutten, David Peleg	A Sub-Linear Time Distributed Algorithm for Minimum-Weight Spanning Trees (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	distributed minimum-weight spanning tree algorithm, sublinear time distributed algorithm, minimum-weight spanning trees, global network problems, n-vertex network, Diam, edge elimination techniques, time complexity, graph decomposition
12	Michael Wolfe, Chau-Wen Tseng	The Power Test for Data Dependence.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	variable elimination, power test, data dependence decision algorithm, extended GCDalgorithm, Fourier-Motzkin method, simultaneous loop limits, interactive program restructuring environment, parallel algorithms, parallel programming, compiler, program compilers, programming theory, inequalities
12	Yi Lu, Ramesh C. Jain	Reasoning About Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector
12	Micha Sharir, Mark H. Overmars	A Simple Output-Sensitive Algorithm for Hidden Surface Removal.	ACM Trans. Graph.	1992	DBLP DOI BibTeX RDF	hidden line elimination, object-space algorithm, hidden surface removal
12	Wayne Eberly	On Efficient Band Matrix Arithmetic	FOCS	1992	DBLP DOI BibTeX RDF	arbitrary fields, band matrix arithmetic, parallel Las Vegas algorithm, coefficient matrix, logarithmic time, asymptotically efficient matrix multiplication, nonsingular band matrices, parallel algorithms, determinant, linear equations, Gaussian elimination
12	Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns	Efficient Algorithms for Solving Systems of Linear Equations and Path Problems.	STACS	1992	DBLP DOI BibTeX RDF	Path Problems, Gaussian Elimination, Algorithms and data structures, Mathematics of computation, Systems of Linear Equations
12	Herman Lam, Chiang Lee, Stanley Y. W. Su	A Special Function Unit for Database Operations (SFU-DB): Design and Performance Evaluation.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	special function unit, SFU-DB, hardware sorting module, automatic retrieval memory, nonnumeric operations, host CPU, special processing unit, distribution-based sort algorithm, main memory size, fundamental sort algorithm, CMOS gate arrays, performance evaluation, performance evaluation, parallel algorithms, computational complexity, database management systems, sorting, execution time, coprocessor, special purpose computers, fabrication, worst case complexity, Turbo Pascal, parallel processing system, duplicates elimination, database operations, set intersection, set union, set difference, relational join
12	Prithviraj Banerjee, Joseph T. Rahmeh, Craig B. Stunkel, V. S. S. Nair, Kaushik Roy 0001, Vijay Balasubramanian, Jacob A. Abraham	Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	Intel iPSC hypercube, fault tolerance, parallel architectures, fault tolerant computing, fast Fourier transform, multiprocessing systems, error detection, matrix multiplication, Gaussian elimination, multiprocessor architecture, hypercube multiprocessor, faulty processors
12	Christian B. Suttner, Wolfgang Ertel	Automatic Acquisition of Search Guiding Heuristics.	CADE	1990	DBLP DOI BibTeX RDF	learning, heuristics, features, Automated theorem proving, back-propagation, connectionism, evaluation functions, model elimination
12	Ahmed El-Amawy	A Systolic Architecture for Fast Dense Matrix Inversion.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	fast dense matrix inversion, data-steering technique, feedback recurrences, VLSI, cellular arrays, Gaussian elimination, systolic architecture, VLSI algorithms, computerised signal processing
12	Philip N. Klein	Efficient Parallel Algorithms for Chordal Graphs	FOCS	1988	DBLP DOI BibTeX RDF	elimination ordering, optimal coloring, breadth-first search tree, depth-first search tree, parallel algorithms, interval graphs, chordal graphs, isomorphism, maximum independent set, maximum clique
12	Norbert Korte, Rolf H. Möhring	A Simple Linear -TIme Algorithm to Recognize Interval Graphs.	WG	1986	DBLP DOI BibTeX RDF	on-line recognition, perfect elimination scheme, modified PQ-tree, graph algorithm, interval graphs
12	Tom Duff	Compositing 3-D rendered images.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	3-D rendering, compositing, image synthesis, anti-aliasing, Z-buffer, hidden-surface elimination
12	Jochen A. G. Jess, H. G. M. Kees	A Data Structure for Parallel L/U Decomposition.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	triangulated graph, L/U decomposition, sparse matrix pivoting, tearing, schedule, parallel processing, task graph, Elimination-tree
12	E. V. Krishnamurthy	Matrix Processors Using p-adic Arithmetic for Exact Linear Computations.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	exact linear computation, matrix processor, p-adic arithmetic, rational arithmetic, Computational complexity, linear equations, Gaussian elimination, residue arithmetic, Galois-field arithmetic
11	Timothy Wood 0001, K. K. Ramakrishnan, Prashant J. Shenoy, Jacobus E. van der Merwe	CloudNet: dynamic pooling of cloud resources by live WAN migration of virtual machines.	VEE	2011	DBLP DOI BibTeX RDF
11	Onur Seref, O. Erhun Kundakcioglu, Oleg A. Prokopyev, Panos M. Pardalos	Selective support vector machines.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	Quadratic mixed 0-1 programming, Classification, Support vector machines
11	Tomohito Takubo, Takuya Kaminade, Yasushi Mae, Kenichi Ohara, Tatsuo Arai	NDT scan matching method for high resolution grid map.	IROS	2009	DBLP DOI BibTeX RDF
11	Aggelos Kiayias, Serdar Pehlivanoglu	Tracing and Revoking Pirate Rebroadcasts.	ACNS	2009	DBLP DOI BibTeX RDF
11	Rania Khalaf, Dieter Roller 0001, Frank Leymann	Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Workflow, Transactions, Compensation, WS-BPEL, Error handling
11	Yosi Ben-Asher, Nadav Rotem	The effect of unrolling and inlining for Python bytecode optimizations.	SYSTOR	2009	DBLP DOI BibTeX RDF	optimizations, Python, bytecode, dynamic languages
11	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
11	Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo	A Clausal Approach to Proof Analysis in Second-Order Logic.	LFCS	2009	DBLP DOI BibTeX RDF
11	Ugo Dal Lago, Luca Roversi, Luca Vercelli	Taming Modal Impredicativity: Superlazy Reduction.	LFCS	2009	DBLP DOI BibTeX RDF	Linear logic, proof theory, implicit computational complexity
11	Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca	Intersection, Universally Quantified, and Reference Types.	CSL	2009	DBLP DOI BibTeX RDF
11	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Data Structures with Arithmetic Constraints: A Non-disjoint Combination.	FroCoS	2009	DBLP DOI BibTeX RDF
11	Michael L. Hines, Henry Markram, Felix Schürmann	Fully implicit parallel simulation of single neurons.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Load balance, Computer modeling, Computer simulation, Parallel simulation, Neuronal networks
11	Nick G. Duffield, Matthias Grossglauser	Trajectory sampling with unreliable reporting.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	Bloom filters, packet loss, packet sampling, network traffic measurement
11	Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown	Scalable Synthesis and Clustering Techniques Using Decision Diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF