Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Ulrik Brandes, Daniel Delling, Marco Gaertler, Robert Görke, Martin Hoefer 0001, Zoran Nikoloski, Dorothea Wagner	On Modularity Clustering.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Knowledge and data engineering tools and techniques, Inter programming, G.1.6.a Constrained optimization, Mathematics and statistics, Clustering, Clustering, Graph Theory, Combinatorial algorithms, Graphs and networks, Computations on discrete structures
13	Alina Chertock, David I. Gottlieb, Alex Solomonoff	Modified Optimal Prediction and its Application to a Particle-Method Problem.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Optimal prediction, Multiscale computations, Particle methods
13	Matteo Cavaliere, Ivan Mura	Experiments on the reliability of stochastic spiking neural P systems.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Time-freeness, Stochastic firing time, Universality, Reliable computations, Spiking neural P systems
13	Rosilde Corvino, Stéphane Mancini, Roberto Guizzetti	Automatic generation of a parallel tile processing unit for algorithms with non-affine array references.	IFMT	2008	DBLP DOI BibTeX RDF	computations scheduling, design space exploration (DSE), non-affine array references, super-tiling, mapping, high-level synthesis (HLS), tiling
13	Georgios I. Goumas, Kornilios Kourtis, Nikos Anastopoulos, Vasileios Karakasis, Nectarios Koziris	Understanding the Performance of Sparse Matrix-Vector Multiplication.	PDP	2008	DBLP DOI BibTeX RDF	matrix-vector, performance evaluation, sparse computations
13	Peter Christen	Geocode Matching and Privacy Preservation.	PinKDD	2008	DBLP DOI BibTeX RDF	privacy preservation, secure multi-party computations, record linkage, entity resolution, geocoding, Data matching
13	Luca Roversi, Luca Vercelli	Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.	TYPES	2008	DBLP DOI BibTeX RDF	Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity
13	Mohammad Kashki, Youssef Lotfy Abdel-Magid, Mohammad Ali Abido	A Reinforcement Learning Automata Optimization Approach for Optimum Tuning of PID Controller in AVR System.	ICIC (2)	2008	DBLP DOI BibTeX RDF	reinforcement learning automata, CARLA, evolutionary computations, PID
13	Grazyna Brzykcy	Data Integration in a System with Agents' Models.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data
13	Konstantinos M. Giannoutakis, George A. Gravvanis, Brian C. Clayton, Adarsh Patil 0001, Therese Enright, John P. Morrison	Matching high performance approximate inverse preconditioning to architectural platforms.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Approximate inverses, Open MPI, MPI, Globus toolkit, Parallel iterative methods, Preconditioned conjugate gradient method, Parallel/distributed computations
13	Emina I. Milovanovic, Igor Z. Milovanovic, Michael P. Bekakos, I. N. Tselepis	Computing all-pairs shortest paths on a linear systolic array and hardware realization on a reprogrammable FPGA platform.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	FPGA, Parallel computations, Systolic arrays, All-pairs shortest paths, Parallel iterative methods
13	Chengbang Huang, Faruck Morcos, Simon P. Kanaan, Stefan Wuchty, Danny Z. Chen, Jesús A. Izaguirre	Predicting Protein-Protein Interactions from Protein Domains Using a Set Cover Approach.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	graph algorithms, genetics, biology, bioinformatics (genome or protein) databases, Computations on discrete structures
13	Srinath Sridhar 0001, Kedar Dhamdhere, Guy E. Blelloch, Eran Halperin, R. Ravi 0001, Russell Schwartz	Algorithms for Efficient Near-Perfect Phylogenetic Tree Reconstruction in Theory and Practice.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	trees, biology and genetics, computations on discrete structures
13	Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri	A family of optimal termination detection algorithms.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Monitoring distributed system, Arbitrary communication topology, Diffusing and non-diffusing computations, Simultaneous and delayed initiations, Single-hop and multi-hop application messages, Optimal algorithm, Termination detection
13	Diego R. Llanos Ferraris, David Orden, Belén Palop	New Scheduling Strategies for Randomized Incremental Algorithms in the Context of Speculative Parallelization.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	geometrical problems and computations, scheduling and task partitioning, load balancing and task assignment, Parallelism and concurrency
13	Rafail Ostrovsky, Yuval Rabani	Low distortion embeddings for edit distance.	J. ACM	2007	DBLP DOI BibTeX RDF	Pattern matching, sketching, communication complexity, edit distance, dimension reduction, nearest neighbor search, metric embeddings, Levenshtein distance, computations on discrete structures
13	Ivan Dimov 0001, Vassil Alexandrov 0001, Rumyana Papancheva, Christian Weihrauch	Monte Carlo Numerical Treatment of Large Linear Algebra Problems.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	performance analysis, matrix computations, iterative process, Monte Carlo algorithms, large-scale problems
13	Gautam Gupta, Sanjay V. Rajopadhye	The Z-polyhedral model.	PPoPP	2007	DBLP DOI BibTeX RDF	equational programming, program transformation, models of computations, loop optimization
13	Grazyna Brzykcy, Jerzy Bartoszek	Context in Rules Used in P2P Semantic Data Integration System.	RR	2007	DBLP DOI BibTeX RDF	context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory
13	Chandan Kumar Behera, Pawan Kumar	An improved algorithm for loop dead optimization.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	loop invariant computations, loop optimization, compiler design
13	Daniel G. Brown 0001, Ian M. Harrower	Integer Programming Approaches to Haplotype Inference by Pure Parsimony.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	integer programming, biology and genetics, haplotype inference, Computations on discrete structures
13	V. Ryaben'kii	On the Method of Difference Potentials.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Difference potentials, artificial boundary conditions, long-time computations, active shielding
13	Christian Gagné 0001, Marc Parizeau	Genetic engineering of hierarchical fuzzy regional representations for handwritten character recognition.	Int. J. Document Anal. Recognit.	2006	DBLP DOI BibTeX RDF	On-line character recognition, Unipen dataset, Fuzzy logic, Evolutionary computations, Handwriting
13	Chandan Kumar Behera, Pawan Kumar	An improved algorithm for loop dead optimization.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	loop invariant computations, loop optimization, compiler design
13	Ester M. Garzón, Inmaculada García	Approaches Based on Permutations for Partitioning Sparse Matrices on Multiprocessors.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	parallel algorithms, parallel processing, partitioning, matrix computations, load balancing and task assignment
13	José-Alejandro Piñeiro, Stuart F. Oberman, Jean-Michel Muller, Javier D. Bruguera	High-Speed Function Approximation Using a Minimax Quadratic Interpolator.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Table-based methods, minimax polynomial approximation, single-precision computations, computer arithmetic, square root, reciprocal, elementary functions
13	Andrew Witkowski, Srikanth Bellamkonda, Tolga Bozkaya, Nathan Folkert, Abhinav Gupta 0003, John Haydu, Lei Sheng, Sankar Subramanian	Advanced SQL modeling in RDBMS.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	analytic computations, OLAP, spreadsheet, Excel
13	Ramon E. Moore	Order relations and rigor in computing.	SAC	2005	DBLP DOI BibTeX RDF	intervals, reliable computations
13	Malik Silva	Sparse matrix storage revisited.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	sparse matrix storage, spatial and temporal locality, caches, memory wall, sparse matrix computations
13	Ilias Maglogiannis, Elias P. Zafiropoulos, Agapios N. Platis, George A. Gravvanis	Computing the Success Factors in Consistent Acquisition and Recognition of Objects in Color Digital Images by Explicit Preconditioning.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	digital image acquisition, color measurement, approximate inverses, computer vision, parallel computations, Bayesian networks, Markov modeling, camera calibration, preconditioning, reproducibility, Markov Reward Models
13	George A. Gravvanis, Konstantinos M. Giannoutakis, Michael P. Bekakos, Odysseas Efremides	Parallel and Systolic Solution of Normalized Explicit Approximate Inverse Preconditioning.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	finite difference systems, normalized approximate factorization, normalized approximate inverses, rate of convergence and complexity, parallel computations, preconditioning, parallel iterative methods
13	Scott C. Hagen, D. Michael Parrish	Unstructured mesh generation for the western North Atlantic tidal model domain.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Localized truncation error analysis, Resolution requirements, Tidal computations, Mesh generation, Shallow water equations
13	Ismail Kadayif, Mahmut T. Kandemir	Quasidynamic Layout Optimizations for Improving Data Locality.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	array-intensive computations, dynamic optimization, Optimizing compilers, data locality
13	Daniel Cohen-Or, Yiorgos Chrysanthou, Cláudio T. Silva, Frédo Durand	A Survey of Visibility for Walkthrough Applications.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	Visibility computations, walkthrough systems, interactive rendering, occlusion culling
13	Laurent Dupont 0004, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean	Near-optimal parameterization of the intersection of quadrics.	SCG	2003	DBLP DOI BibTeX RDF	quadric surface intersection, robustness of geometric computations
13	Kian Guan Lim, Qin Xiao	Computing maximum smoothness forward rate curves.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	forward rates, curve smoothing, optimization, computations
13	Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander	On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Computations on manifolds, Coordinate free numerics, Partial differential equations, Object-oriented frameworks
13	Arnold L. Rosenberg	Optimal Schedules for Cycle-Stealing in a Network of Workstations with a Bag-of-Tasks Workload.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	bag-of-tasks workloads, networks of workstations (NOWs), scheduling parallel computations, heavy-tailed distributions, optimal scheduling, Cycle-stealing
13	Renato Ferreira 0001, Gagan Agrawal, Joel H. Saltz	Compiler supported high-level abstractions for sparse disk-resident datasets.	ICS	2002	DBLP DOI BibTeX RDF	data Parallel compilation, restructing compilers, data Intensive computing, sparse computations
13	Pawel Czarnul	Dynamic Process Partitioning and Migration for Irregular Applications.	PARELEC	2002	DBLP DOI BibTeX RDF	Parallel Software Environments, Methods for Automatic Parallelization, Optimization of Parallel Computations, Dynamic Process Migration, Dynamic Decomposition, Irregular Applications
13	Jean-Marie Morvan, Boris Thibert	Smooth surface and triangular mesh: comparison of the area, the normals and the unfolding.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	robustness of geometric computations, computational geometry, medial axis, unfolding, triangular mesh, local feature size
13	Scott C. Hagen	Estimation of the Truncation Error for the Linearized, Shallow Water Momentum Equations.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Localized truncation error analysis, Tidal computations, Unstructured mesh generation, Shallow water equations
13	Kirk Schloegel, George Karypis, Vipin Kumar 0001	Wavefront Diffusion and LMSR: Algorithms for Dynamic Repartitioning of Adaptive Meshes.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Dynamic graph partitioning, multilevel diffusion, scratch-remap, wavefront diffusion, LMSR, adaptive mesh computations
13	Daniele Frigioni, Giuseppe F. Italiano	Dynamically Switching Vertices in Planar Graphs.	Algorithmica	2000	DBLP DOI BibTeX RDF	Sign of matrix determinant, Arithmetic filters, Certified geometric computations, Distance to a singular matrix, Convex hull
13	Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou	An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs.	J. ACM	2000	DBLP DOI BibTeX RDF	short pseudorandom walks on graphs, undirected graph connectivity, computational complexity, derandomization, space bounded computations
13	Johannes Merkle	Multi-round passive attacks on server-aided RSA protocols.	CCS	2000	DBLP DOI BibTeX RDF	server aided secret computations, digital signatures, RSA, knapsack problem
13	Dianqin Wang, Eleanor Chu	Minimizing Communication Penalty of Triangular Solvers by Runtime Mesh Configuration and Workload Redistribution.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	triangular solver, overlap of communications by computations, performance modeling and evaluation, parallel algorithm, load balancing, hypercube, mesh, torus
13	Mohammed Almulla, Tadeusz Szuba	Toward a Computational Model of Collective Intelligence and its IQ Measure.	SAC	1999	DBLP DOI BibTeX RDF	IQ measure, nondeterministic model of computations, quasi-chaotic Brownian movements, PROLOG, collective intelligence, social structure
13	George Havas, Jean-Pierre Seifert	The Complexity of the Extended GCD Problem.	MFCS	1999	DBLP DOI BibTeX RDF	computational problems of diophantine equations, extended gcd computations, Approximation algorithms, NP-hardness, probabilistically checkable proofs, interactive proof systems
13	Rong-Guey Chang, Tyng-Ruey Chuang, Jenq Kuen Lee	Compiler Optimizations for Parallel Sparse Programs with Array Intrinsics of Fortran 90.	ICPP	1999	DBLP DOI BibTeX RDF	Parallel Sparse Compiler, Fortran 90 Array Intrinsics, Optimizing Compilers, Distributed Environments, Sparse Computations
13	Anna Gál, Shai Halevi, Richard J. Lipton, Erez Petrank	Computing from Partial Solutions.	CCC	1999	DBLP DOI BibTeX RDF	Robust proofs, erasure correction, erasure-resilient reductions, fault tolerant computations, NP-Hardness
13	Aart J. C. Bik, Peter Brinkhaus, Peter M. W. Knijnenburg, Harry A. G. Wijshoff	The Automatic Generation of Sparse Primitives.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	data structure transformations, compilers, sparse matrix computations, restructuring compilers, sparse BLAS
13	Tomás Lang, Elisardo Antelo	CORDIC Vectoring with Arbitrary Target Value.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Extended CORDIC functions, inverse kinematics computations, computer arithmetic, rotations, CORDIC
13	Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli	Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization
13	Ralf Klasing	Improved Compressions of Cube-Connected Cycles Networks.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	cube-connected cycles network, Parallel computations, interconnection networks, parallel architectures, network simulation, graph embedding
13	Sanjeev Arora, Shmuel Safra	Probabilistic Checking of Proofs: A New Characterization of NP.	J. ACM	1998	DBLP DOI BibTeX RDF	computations on polynomials and finite fields, proof checking, reducibility and completeness, trade-offs/relations among complexity measures, approximation algorithms, NP-completeness, error-correcting codes, hardness of approximations, probabilistic computation, interactive computation, complexity hierarchies
13	Willem A. de Graaf, Gábor Ivanyos, A. Küronya, Lajos Rónyai	Computing Levi Decompositions in Lie algebras.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Associative algebras, Complexity, Decomposition, Symbolic computations, Lie algebras, Radical
13	Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion	Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision.	SCG	1997	DBLP DOI BibTeX RDF	exact arithmetic, modular computations, single precision, computational geometry, robustness, residue number systems
13	Matthias Schröder 0001	Fast Online Multiplication of Real Numbers.	STACS	1997	DBLP DOI BibTeX RDF	Topics Computable real analysis, computational complexity, online computations
13	Suely Oliveira, Takako Soma	New Partitioning Schemes for Parallel Modified Gram-Schmidt Orthogonalization.	ISPAN	1997	DBLP DOI BibTeX RDF	Gram-Schmidt Algorithms, MPI, data partitioning, orthogonalization, matrix computations
13	Yehuda Afek, Baruch Awerbuch, Serge A. Plotkin, Michael E. Saks	Local Management of a Global Resource in a Communication Network.	J. ACM	1996	DBLP DOI BibTeX RDF	distributed computation, resource management, diffusing computations, distributed network management
13	Helmut Ratschek, Jon G. Rokne	The relationship between a rectangle and a triangle.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Geometric intersection, Range computations, Interval analysis, Geometric algorithms, Barycentric coordinates, Triangle, Rectangle
13	Siegfried M. Rump	Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems.	Computing	1996	DBLP DOI BibTeX RDF	Validated computations, interval arithmetic, inflation
13	Peter W. Shor	Fault-Tolerant Quantum Computation.	FOCS	1996	DBLP DOI BibTeX RDF	decoherence, long computations, fault-tolerant, quantum computation, quantum circuit, quantum mechanics, quantum theory, quantum error-correcting codes
13	J. Adongo Ochier, Clementina D. Mladenova, Peter C. Müller 0001	An approach to automatic generation of dynamic equations of elastic joint manipulators in symbolic language.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Vector-parameter, rigid joint manipulator, elastic joint manipulator, symbolic computations
13	Kenneth Weber	The Accelerated Integer GCD Algorithm.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	integer greatest common divisor, number-theoretic computations, GCD
13	Valentina P. Markova	Multilayer Cellular Algorithm for Complex Number Multiplication.	ASAP	1995	DBLP DOI BibTeX RDF	Knuth number system, 3D cellular arrays, Parallel Substitution Algorithm, distributed computations, complex multiplication
13	T. V. Lakshman, Victor K. Wei	Distributed Computing on Regular Networks with Anonymous Nodes.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	anonymous nodes, communication-delay product, efficiency objective, sumlike operations, finite projective planes, metrically regular graphs, distributed algorithms, distributed algorithms, distributed computing, distributed computations, message passing, hypercubes, hypercube networks, information dissemination, trade-off, message complexity, sparse graphs, regular networks
13	Syed Masud Mahmud	Performance Analysis of Multilevel Bus Networks for Hierarchical Multiprocessors.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	multilevel bus networks, hierarchical multiprocessors, partial multiple bus system, bus architecture, hierarchical multiprocessor design, synchronous multilevel bus systems, asynchronous multilevel bus systems, hierarchical reference model, MVA algorithm, performance evaluation, fault tolerance, performance analysis, parallel architectures, connections, queueing theory, multiprocessing systems, analytical models, bandwidth, queueing networks, switches, simulation models, memory bandwidth, packet-switched networks, cost-effectiveness, system buses, local computations, memory modules
13	Douglas M. Blough, Andrzej Pelc	Almost Certain Fault Diagnosis Through Algorithm-Based Fault Tolerance.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	failureanalysis, almost certain fault diagnosis, multiprocessorsystems, incorrect computations, concurrent error detection mechanisms, erroneous dataelements, reliability, fault tolerant computing, multiprocessing systems, error detection, probabilistic analysis, concurrent error detection, algorithm-based fault tolerance
13	Masatoshi Niizeki, Fujio Yamaguchi	Projectively invariant intersection detections for solid modeling.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	4 × 4 determinant method, insertion detections and computations, projective invariance, homogeneous coordinates, perspective transformation
13	C. Andrew Neff, John H. Reif	An O(n^1+epsilon log b) Algorithm for the Complex Roots Problem	FOCS	1994	DBLP DOI BibTeX RDF	Boolean model of computation, complex roots problem, univariate polynomial, complex coefficients, imaginary parts, real parts, arithmetic model, arithmetic computations, complexity
13	Juraj Hromkovic, Ralf Klasing, Walter Unger, Hubert Wagener	Optimal Algorithms for Broadcast and Gossip in the Edge-Disjoint Path Modes (Extended Abstract).	SWAT	1994	DBLP DOI BibTeX RDF	parallel computations, communication algorithms
13	Simon Y. Berkovich	An Overlaying Technique for Solving Linear Equations in Real-Time Computing.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	overlaying technique, close consecutive parameters, computational process, inverse matrix, real-time systems, computational complexity, matrix algebra, linear equations, polynomial approximation, real-time computing, real-time computations, computer organization
13	E. N. Elnozahy, Willy Zwaenepoel	Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	Manetho, transparent rollback-recovery protocol, antecedence graph maintenance, uncoordinated checkpointing, sender-based message logging, pessimistic message logging, output commit, optimistic message logging, failure-free overhead, distributed computations, graph theory, fault tolerant computing
13	Dario Bini, Victor Y. Pan	Improved Parallel Polynomial Division and Its Extensions	FOCS	1992	DBLP DOI BibTeX RDF	stream contraction, parallel polynomial division, PRAM arithmetic models, triangular Toeplitz matrix, recursive processes, evaluation modulo, supereffective slowdown, parallel algebraic computations, polynomial, reciprocal, complexity estimates
13	Amotz Bar-Noy, David Peleg	Square Meshes are not always Optimal.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	broadcast facilities, rows, columns, two-dimensional rectangular mesh, skewed rectangular mesh, parallel architectures, upper bound, tight bound, mesh connected computers, semigroup computations, multiple buses
13	Huzur Saran, Vijay V. Vazirani	Finding k-cuts within Twice the Optimal	FOCS	1991	DBLP DOI BibTeX RDF	maximum flow computations, minimum k-cut problem, approximation algorithms, weight
13	Franco P. Preparata, Jean Vuillemin	Practical Cellular Dividers.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	parallel division algorithms, nonrestoring online division methods, divider/multiplier, RSA cryptography, greatest common divisor computations, parallel algorithms, signal processing, digital arithmetic, modular arithmetic, redundant representations, floating-point units, dividing circuits, signed, systolic, digit-serial multiplier
13	Michel Habib, Michel Morvan, Jean-Xavier Rampon	Remarks on Some Concurrency Measures.	WG	1990	DBLP DOI BibTeX RDF	disgraphs, computational complexity, parallelism, concurrency, distributed computations, partial orders, interval orders, antichains
13	Anish Arora, Mohamed G. Gouda	Distributed Reset (Extended Abstract).	FSTTCS	1990	DBLP DOI BibTeX RDF	Additional Key Words and Phrases Self-stabilization, spanning trees, diffusing computations
13	Jih-Kwon Peir, Ron Cytron	Minimum Distance: A Method for Partitioning Recurrences for Multiprocessors.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	partitioning recurrences, nonvectorizable uniform recurrences, totally independent computations, clusters, multiprocessors, computer networks, multiprocessing systems, parallel execution, numerical stability, minimum distance
13	Viktor K. Prasanna, Yu-Chen Tsai	On Mapping Algorithms to Linear and Fault-Tolerant Systolic Arrays.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	fault-tolerant systolic arrays, linearly connected arrays, processor elements, VLSI model, Diogenes methodology, algorithms, fault tolerant computing, cellular arrays, propagation delay, matrix computations, mapping technique, linear systolic arrays
13	Jerry C. Yan, Stefen F. Lundstrom	The Post-Game Analysis Framework - Developing Resource Management Strategies for Concurrent Systems.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	post-game analysis framework, resource management strategies, optimization subgoals, timing data, rule-based architecture, concurrent programming paradigms, simulations, performance evaluation, parallel processing, distributed computations, multiprocessors, execution time, concurrent systems, operations research, multiprocessor architectures, program partitioning
13	László Babai, Lajos Rónyai	Computing Irreducible Representations of Finite Groups	FOCS	1989	DBLP DOI BibTeX RDF	deterministic polynomial time, matrices list, randomized polynomial time, Las Vegas polynomial time, generators set, bit complexity, inequivalent irreducible representations, multiplication table, polynomial-size description, absolutely irreducible constituents, polynomial-time algorithm, equivalence class, finite groups, complex numbers, exact computations, algebraic number fields
13	Woei Lin, Chuan-lin Wu	A Distributed Resource Management Mechanism for a Partitionable Multiprocessor System.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	homogeneous processing element pool, distributed resource management mechanism, partitionable multiprocessor system, physically independent subsystems, performance evaluation, parallel processing, parallel computations, parallel architectures, distributed processing, reconfigurability, multistage interconnection networks, operating systems (computers), performance simulation
13	Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat	A Formal Definition of Data Flow Graph Models.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	Petri nets, parallel computations, deadlocks, Bipartite graphs, liveness, data flow graphs
13	James H. Applegate, Michael R. Douglas, Yekta Gürsel, Peter Hunter, Charles L. Seitz, Gerald J. Sussman	A Digital Orrery.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	N-body computations, orbital mechanics, parallel computation, Computer architecture, numerical computation
13	Fred U. Rosenberger, Donald F. Wann	A Computer Aided Procedure for Performing Static Loading Validation of Digital Logic Systems.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	static loading validation, digital design aids, fan-out computations, logic design aids, Computer aided design, loading
13	Jean Vuillemin	A Combinatorial Limit to the Computing Power of VLSI Circuits.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	VLSI computations, Area-time tradeoff, transitive Boolean functions, lower bounds, computation models
13	Kai Hwang 0001, Yeng-Heng Cheng	Partitioned Matrix Algorithms for VLSI Arithmetic Systems.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	parallel processing, very large scale integration (VLSI), Computer architecture, computer arithmetic, real-time applications, numerical analysis, matrix computations, linear system of equations
13	Mark G. Karpovsky	An Approach for Error Detection and Error Correction in Distributed Systems Computing Numerical Functions.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	Distributed systems, error-correcting codes, error detection, error correction, numerical computations
13	Gerd Bohlender	Floating-Point Computation of Functions with Maximum Accuracy.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	multiple-length mantissas, roots of floating-point numbers, Accuracy, errors, rounding, floating-point computations
13	Marshall C. Pease III	The Indirect Binary n-Cube Microprocessor Array.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Admissible maps, microprocessor array, n-cube array, triangular permutations, virtual array, grid computations, parallel processing, fast Fourier transform, switching network, array processor, permutation network, parallel matrix multiplication
13	Daniel G. Bobrow, Daniel L. Murphy 0001	A note on the efficiency of a LISP computation in a paged machine.	Commun. ACM	1968	DBLP DOI BibTeX RDF	efficiency of paged computations, list processor implementation, secondary storage utilization, LISP, storage management, paging
12	Guan Wang, Tongbo Luo, Michael T. Goodrich, Wenliang Du, Zutao Zhu	Bureaucratic protocols for secure two-party sorting, selection, and permuting.	AsiaCCS	2010	DBLP DOI BibTeX RDF	bureaucratic protocols, oblivious algorithms, sorting, secure two-party computation
12	David Alves, Pedro Bizarro, Paulo Marques	Flood: elastic streaming MapReduce.	DEBS	2010	DBLP DOI BibTeX RDF	scalability, elastic, distributed stream processing
12	Patrick Anthony La Fratta, Peter M. Kogge	Models for generating locality-tuned traveling threads for a hierarchical multi-level heterogeneous multicore.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	asymmetric multicore architectures, cache hierarchy design, locality-cognizant parallelization, migrant threads, multithreaded architectures
12	Srimat T. Chakradhar, Anand Raghunathan	Best-effort computing: re-thinking parallel software and hardware.	DAC	2010	DBLP DOI BibTeX RDF	best effort systems, performance, scalability, parallel computing, multi core
12	Marcelo P. Fiore, Chung-Kil Hur	Mathematical Synthesis of Equational Deduction Systems.	TLCA	2009	DBLP DOI BibTeX RDF