Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Carmen N. Ojeda-Guerra, Elsa M. Macías, Álvaro Suárez Sarmiento	Sparse LU Factorization with Partial Pivoting Overlapping Communications and Computations on the SP-2 Multicomputer.	PVM/MPI	1998	DBLP DOI BibTeX RDF
13	Jesús Manuel Almendros-Jiménez	Improving Computations in a Typed Functional Logic Language.	AMAST	1998	DBLP DOI BibTeX RDF
13	Carmen N. Ojeda-Guerra, Roberto Esper-Chaín, M. Estupiñán, Elsa M. Macías, Álvaro Suárez Sarmiento	Hardware Mapping of a Parallel Algorithm for Matrix-Vector Multiplication Overlapping Communications and Computations.	FPL	1998	DBLP DOI BibTeX RDF
13	Jean-Louis Giavitto, Dominique De Vito, Jean-Paul Sansonnet	A Data Parallel Java Client-Server Architecture for Data Field Computations over Zn.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Jörn Eisenbiegler	Optimization of SIMD Programs with Redundant Computations.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Rainer Koppler	Parallelization of Unstructured Mesh Computations Using Data Structure Formalization.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Salvatore Orlando 0001, Raffaele Perego 0001	Scheduling Data-Parallel Computations on Heterogeneous and Time-Shared Environments.	Euro-Par	1998	DBLP DOI BibTeX RDF
13	Jan F. Prins, Siddhartha Chatterjee, Martin Simons 0001	Expressing Irregular Computations in Modern Fortran Dialects.	LCR	1998	DBLP DOI BibTeX RDF
13	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete Removal of Redundant Computations.	PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
13	Jang Sun Lee, Myung-Joon Kim	High-Performance External Stencil Computations Using User-Controllable I/O.	ICPADS	1998	DBLP DOI BibTeX RDF
13	Roy Armoni	On the Derandomization of Space-Bounded Computations.	RANDOM	1998	DBLP DOI BibTeX RDF
13	William W. Pugh, Tatiana Shpeisman	SIPR: A New Framework for Generating Efficient Code for Sparse Matrix Computations.	LCPC	1998	DBLP DOI BibTeX RDF
13	Masaru Takesue	Schemes for Reducing Communication Latency in Regular Computations on DSM Multiprocessors.	ICPP	1998	DBLP DOI BibTeX RDF
13	Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor	Vector Time and Causality Among Abstract Events in Distributed Computations.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation
13	Jan Sparud, Colin Runciman	Complete and Partial Redex Trails of Functional Computations.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
13	Sergio Antoy	Optimal Non-deterministic Functional Logic Computations.	ALP/HOA	1997	DBLP DOI BibTeX RDF
13	Jan Sparud, Colin Runciman	Tracing Lazy Functional Computations Using Redex Trails.	PLILP	1997	DBLP DOI BibTeX RDF	debugging, program transformation, Haskell, graph reduction
13	Christoph W. Keßler	Applicability of Program Comprehension to Sparse Matrix Computations.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Roman Wyrzykowski, Juri Kanevski	A Technique for Mapping Sparse Matrix Computations into Regular Processor Arrays.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Andreas Frommer, Thomas Lippert, Klaus Schilling 0002	Scalable Parallel SSOR Preconditioning for Lattice Computations in Gauce Theories.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Marcello M. Bonsangue, Joost N. Kok	Specifying Computations Using Hyper Transition Systems.	MFCS	1997	DBLP DOI BibTeX RDF
13	Irène Durand, Aart Middeldorp	Decidable Call by Need Computations in term Rewriting (Extended Abstract).	CADE	1997	DBLP DOI BibTeX RDF
13	Naushik Sankarayya, Kaushik Roy 0001, Debashis Bhattacharya	Optimizing computations in a transposed direct form realization of floating-point LTI-FIR systems.	ICCAD	1997	DBLP DOI BibTeX RDF	Differential Coefficients, Sorted Recursive Differences, low-power, filters, DSP, multiplication, FIR
13	V. Kamakoti 0001, N. Balakrishnan 0001	Efficient Algorithms for Prefix and General Prefix Computations on Distributed Shared Memory Systems with Applications.	ICPADS	1997	DBLP DOI BibTeX RDF
13	Pavol Duris, Juraj Hromkovic, José D. P. Rolim, Georg Schnitger	Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations.	STACS	1997	DBLP DOI BibTeX RDF	Las Vegas, communication complexity, automata, determinism, computational and structural complexity
13	Sudarsan Tandri, Tarek S. Abdelrahman	Automatic Partitioning of Data and Computations on Scalable Shared Memory Multiprocessors.	ICPP	1997	DBLP DOI BibTeX RDF	computation partitioning, scalable, shared memory multiprocessors, automatic parallelization, data distribution, compiler analysis
13	Hemal V. Shah, José A. B. Fortes	Effects of Dynamic Task Distributions on the Performance of a Class of Irregular Computations.	ICPP	1997	DBLP DOI BibTeX RDF	Quasi-barrier, Symbolic polynomial manipulation, Relaxation, Distributed memory machines, Task distribution
13	Stasys Jukna	Finite Limits and Monotone Computations: The Lower Bounds Criterion.	CCC	1997	DBLP DOI BibTeX RDF	real gates, lower bounds, threshold gates, monotone circuits
13	Martin Bächtold, Jan G. Korvink, Henry Baltes	Enhanced multipole acceleration technique for the solution of large Poisson computations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
13	Eugene Santos Jr.	On Linear Potential Functions for Approximating Bayesian Computations.	J. ACM	1996	DBLP DOI BibTeX RDF	pattern recognition, artificial intelligence, uncertainty, integer programming, least squares approximation, probabilistic reasoning, data compaction and compression
13	Panagiota Fatourou, Paul G. Spirakis	Scheduling Algorithms for Strict Multithreaded Computations.	ISAAC	1996	DBLP DOI BibTeX RDF
13	Salvador Lucas	Context-Sensitive Computations in Confluent Programs.	PLILP	1996	DBLP DOI BibTeX RDF	functional programming, term rewriting systems, confluence
13	Ioana M. Boier-Martin, Dan C. Marinescu	Exploiting Symmetry in Parallel Computations for Structural Biology.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
13	Ajay D. Kshemkalyani	A Framework for Viewing Atomic Events in Distributed Computations.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
13	Sally A. McKee, William A. Wulf	A Memory Controller for Improved Performance of Streamed Computations on Symmetric Multiprocessors.	IPPS	1996	DBLP DOI BibTeX RDF
13	Dwip Banerjee, James C. Browne	Complete Parallelization of Computations: Integration of Data Partitioning and Functional Parallelism for Dynamic Data Structures.	IPPS	1996	DBLP DOI BibTeX RDF
13	David Beymer	Feature Correspondence by Interleaving Shape and Texture Computations.	CVPR	1996	DBLP DOI BibTeX RDF	face recognition, facial feature detection, feature correspondence
13	Michael J. Lees, Duncan A. Campbell, J. C. Devlin	A high-speed reconfigurable defuzzification architecture for true centre-of-gravity computations.	ANZIIS	1996	DBLP DOI BibTeX RDF
13	Olivier Devillers	Computational geometry and discrete computations.	DGCI	1996	DBLP DOI BibTeX RDF
13	Jocelyne Erhel, Mounir Hahad, Thierry Priol	Extended Abstract: "No-Compile-Time Knowledge" Distribution of Finite Element Computations on Multiprocessors.	HICSS (1)	1996	DBLP DOI BibTeX RDF
13	Xinmin Tian, Shashank S. Nemawarkar, Guang R. Gao, Herbert H. J. Hum	Data locality sensitivity of multithreaded computations on a distributed-memory multiprocessor.	CASCON	1996	DBLP BibTeX RDF
13	Kuo-Liang Chung	Prefix Computations on a Generalized Mesh-Connected Computer with Multiple Buses.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
13	Vladimiro Sassone	On the Category of Petri Net Computations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Felipe Bracho, Manfred Droste, Dietrich Kuske	Dependence Orders for Computations of Concurrent Automata.	STACS	1995	DBLP DOI BibTeX RDF
13	Edgar Nett, Michael Mock	How to Commit Concurrent, Non-Isolated Computations.	FTDCS	1995	DBLP DOI BibTeX RDF	Formal Computational Model, Cooparation, Fault-Tolerance, Distributed Systems, Concurrency
13	Twan Basten	Breakpoints and Time in Distributed Computations.	WDAG	1994	DBLP DOI BibTeX RDF	Vector time, Causality, Distributed debugging, Breakpoints, Global states
13	Dharmavani Bhagavathi, Venkatavasu Bokka, Himabindu Gurla, Stephan Olariu, James L. Schwing	Time-Optimal Tree Computations on Sparse Meshes.	WG	1994	DBLP DOI BibTeX RDF	meshes with multiple broadcasting, traversais, tree reconstruction, parentheses algorithms, encoding, decoding, binary trees, ordered trees
13	Roland W. Freund, Peter Feldmann	Efficient small-signal circuit analysis and sensitivity computations with the PVL algorithm.	ICCAD	1994	DBLP DOI BibTeX RDF
13	Seth J. Teller, Celeste Fowler, Thomas A. Funkhouser, Pat Hanrahan	Partitioning and ordering large radiosity computations.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	equilibrium methods, spatial subdivision, multigridding
13	Jop F. Sibeyn, Tim J. Harris	Exploiting Locality in LT-RAM Computations.	SWAT	1994	DBLP DOI BibTeX RDF
13	Murali Beddhu, Min-Yee Jiang, Lafayette K. Taylor, David L. Whitfield	Towards computations of ocean flows using Navier-Stokes equations.	SC	1994	DBLP DOI BibTeX RDF
13	Hai-Xiang Lin, Henk J. Sips	Parallel Direct Solution of Large Sparse Systems in Finite Element Computations.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF	DIANA
13	Dharmavani Bhagavathi, Stephan Olariu, W. Shen, Larry Wilson	A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting.	PARLE	1993	DBLP DOI BibTeX RDF
13	Jean-Louis Roch, A. Vermeerbergen, Gilles Villard	Cost Prediction for Load Balancing: Application to Algebraic Computations.	CONPAR	1992	DBLP DOI BibTeX RDF
13	Wen-Jing Hsu, Carl V. Page, Jen-Shiuh Liu	Parallel Contraction of Fibonacci Trees and Prefix Computations on a Family of Interconnection Topologies.	CAAP	1992	DBLP DOI BibTeX RDF
13	Eugene V. Zima	Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems.	DISCO	1992	DBLP DOI BibTeX RDF
13	Daniel M. Yellin, Robert E. Strom	INC: A Language for Incremental Computations.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	finite differencing, incremental complexity, static complexity, incrementality, dynamic algorithms, INC
13	Michel Verleysen, Paul G. A. Jespers	Analog VLSI Synapse Matrix with Enhanced Stochastic Computations.	IWANN	1991	DBLP DOI BibTeX RDF
13	Feodor S. Vainstein	Error Detection and Correction in Numerical Computations by Algebraic Methods.	AAECC	1991	DBLP DOI BibTeX RDF
13	Juraj Waczulík	Area Time Squared and Area Complexity of VLSI Computations is Strongly Unclosed Under Union and Intersection.	IMYCS	1990	DBLP DOI BibTeX RDF
13	Richard J. Lipton	Efficient Checking of Computations.	STACS	1990	DBLP DOI BibTeX RDF
13	Samuel A. Fineberg, Thomas L. Casavant, Howard Jay Siegel	Experimental analysis of communication/data-conditional aspects of a mixed-mode parallel architecture via synthetic computations.	SC	1990	DBLP DOI BibTeX RDF	PASM
13	David K. Garnick, A. Toni Cohen	Locality in distributed computations.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
13	L. Shih, Christos A. Papachristou	Mapping of micro data flow computations on parallel microarchitectures.	MICRO	1988	DBLP BibTeX RDF
13	David A. Carlson, John M. Conroy	The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer.	SC	1988	DBLP DOI BibTeX RDF
13	Erich Grädel	Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes.	CSL	1988	DBLP DOI BibTeX RDF
13	Tsutomu Matsumoto, Koki Kato, Hideki Imai	Speeding Up Secret Computations with Insecure Auxiliary Devices.	CRYPTO	1988	DBLP DOI BibTeX RDF
13	Gerardo Costa	A Metric Characterization of Fair Computations in CCS.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
13	Peter M. Flanders	Non-numerical aspects of computations on parallel hardware.	CONPAR	1981	DBLP DOI BibTeX RDF
13	Harold Abelson	Lower Bounds on Information Transfer in Distributed Computations.	J. ACM	1980	DBLP DOI BibTeX RDF
13	Raymond Reiter	Scheduling Parallel Computations.	J. ACM	1968	DBLP DOI BibTeX RDF
13	Juris Hartmanis	Computational Complexity of One-Tape Turing Machine Computations.	J. ACM	1968	DBLP DOI BibTeX RDF
13	Jack B. Dennis, Earl C. Van Horn	Programming semantics for multiprogrammed computations.	Commun. ACM	1966	DBLP DOI BibTeX RDF
13	Stéfan van der Walt, S. Chris Colbert, Gaël Varoquaux	The NumPy Array: A Structure for Efficient Numerical Computation.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	NumPy, programming libraries, Python, numerical computations, scientific programming
13	Jun Yan 0001, Ning Liu 0001, Shuicheng Yan, Qiang Yang 0001, Weiguo Fan, Wei Wei, Zheng Chen 0001	Trace-Oriented Feature Analysis for Large-Scale Text Data Dimension Reduction.	IEEE Trans. Knowl. Data Eng.	2011	DBLP DOI BibTeX RDF	Algebraic algorithms, computations on matrices, global optimization, document analysis
13	Ming-Der Shieh, Wen-Ching Lin	Word-Based Montgomery Modular Multiplication Algorithm for Low-Latency Scalable Architectures.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	computations in finite fields, VLSI, computer arithmetic, high-speed arithmetic, Algorithms implemented in hardware
13	Juliano B. Lima, Daniel Panario, Qiang Wang 0012	A Karatsuba-Based Algorithm for Polynomial Multiplication in Chebyshev Form.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	computations on polynomials, Theory of computation, analysis of algorithms and problem complexity
13	Rory Kelly	GPU Computing for Atmospheric Modeling.	Comput. Sci. Eng.	2010	DBLP DOI BibTeX RDF	threads, emerging technologies, graphics processors, computations on discrete structures
13	B. S. Daya Sagar	Visualization of Spatiotemporal Behavior of Discrete Maps via Generation of Recursive Median Elements.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	GISci, thematic maps, interpolation formulas, morphological image representation, geometrical problems and computations, mathematical morphology, set theory, dilation, cartography, visualization techniques and methodologies, erosion, spatial databases and GIS, spatial interpolation
13	Thanh Minh Hoang	On the Matching Problem for Special Graph Classes.	CCC	2010	DBLP DOI BibTeX RDF	NC-computations, Perfect matchings, maximum matchings
13	R. Baker Kearfott	Interval Analysis: Intermediate Terms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Expression parsing, Constraint satisfaction techniques, Interval dependency, Verification, Global optimization, Interval computations
13	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
13	R. Baker Kearfott	Interval Analysis: Unconstrained and Constrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
13	R. Baker Kearfott	Interval Analysis: Nondifferentiable Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Nondifferentiability, Interval slopes, Verification, Global optimization, Interval computations
13	R. Baker Kearfott	Interval Fixed Point Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Fixed point iteration
13	R. Baker Kearfott	Interval Newton Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Nonlinear system of equations
13	Julius Zilinskas, Ian David Lockhart Bogle	Global Optimization: Interval Analysis and Balanced Interval Arithmetic.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Global optimization, Interval arithmetic, Interval computations
13	Eva Magnusson, Torbjörn Ekman 0001, Görel Hedin	Demand-driven evaluation of collection attributes.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Collection attributes, Circular attributes, Fixed-point computations, Attribute grammars, Source code analysis
13	Franco P. Preparata	The evolving profile and role of computer science.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	modeling, applications, computer science, models of computations, informatics
13	Xue Bai, Guillermo Sapiro	Geodesic Matting: A Framework for Fast Interactive Image and Video Segmentation and Matting.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Interactive image and video segmentation, Geodesic computations, Weighted distance functions, User-provided scribbles, Fast algorithms, Matting
13	Peter Lory	Secure Distributed Multiplication of Two Polynomially Shared Values: Enhancing the Efficiency of the Protocol.	SECURWARE	2009	DBLP DOI BibTeX RDF	multiplication protocol, secret sharing, Multiparty computations, divided differences
13	Fang Liu 0028, Masha Sosonkina, Randall Bramley	A HPC sparse solver interface for scalable multilevel methods.	SpringSim	2009	DBLP DOI BibTeX RDF	component architecture and interfaces, sparse matrix computations
13	Vernon Asuncion, Yan Zhang 0003	Translating Preferred Answer Set Programs to Propositional Logic.	LPNMR	2009	DBLP DOI BibTeX RDF	prioritized logic programs, answer set computations, answer set semantics
13	Jong-Ho Byun, Arun Ravindran, Arindam Mukherjee 0001, Bharat Joshi, David Chassin	Accelerating the Gauss-Seidel Power Flow Solver on a High Performance Reconfigurable Computer.	FCCM	2009	DBLP DOI BibTeX RDF	power flow computing, Gauss-Seidel, bus voltage computations, FPGA, reconfigurable computing
13	Pavel Emeliyanenko	Efficient Multiplication of Polynomials on Graphics Hardware.	APPT	2009	DBLP DOI BibTeX RDF	large integer arithmetic, parallel computations, GPU, graphics hardware, CUDA
13	Mehmet Belgin, Godmar Back, Calvin J. Ribbens	Pattern-based sparse matrix representation for memory-efficient SMVM kernels.	ICS	2009	DBLP DOI BibTeX RDF	bcoo, bcsr, matrix splitting, pbr, smvm, spmv, prefetching, vectorization, memory bandwidth, iterative solvers, sparse computations, csr
13	Weihang Zhu	A study of parallel evolution strategy: pattern search on a GPU computing platform.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary computations, GPU, evolution strategy, pattern search
13	Yong-Hsian Hsieh, Chih-Chiang Yu, Biing-Feng Wang	Optimal Algorithms for the Interval Location Problem with Range Constraints on Length and Average.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	geometrical problems and computations, algorithms, data structures, analysis of algorithms
13	Francisco Rodríguez-Henríquez, Guillermo Morales-Luna, Julio César López-Hernández	Low-Complexity Bit-Parallel Square Root Computation over GF(2^{m}) for All Trinomials.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Computations in finite fields, Algorithms, Computer arithmetic
13	Rajeev Raman, David S. Wise	Converting to and from Dilated Integers.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Data Structures: Arrays, Programming Techniques: General, Memory Structures: Design Styles, Analysis of Algorithms and Problem Complexity: Numerical algorithms, problems: computations on matrices