Search results for "redundant computation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Zakarya Alzamil, Bogdan Korel	Application of redundant computation in software performance analysis.	WOSP	2005	DBLP DOI BibTeX RDF	redundant computation, performance analysis, data dependence, dependence analysis, control dependence, redundant code
2	Zakarya Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
2	Zakarya Alzamil	Application of the operational profile in software performance analysis.	WOSP	2004	DBLP DOI BibTeX RDF	redundant computation, software performance analysis, program optimization, operational profile
2	S. E. Richardson	Exploiting trivial and redundant computation.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
1	Hung-Wei Tseng, Dean M. Tullsen	Data-triggered threads: Eliminating redundant computation.	HPCA	2011	DBLP DOI BibTeX RDF
1	Emma Bowring, Zhengyu Yin, Rob Zinkov, Milind Tambe	Sensitivity analysis for distributed optimization with resource constraints.	AAMAS	2009	DBLP DOI BibTeX RDF	distributed constraint reasoning, multiagent systems, DCOP
1	Ryo Kikuuwe, Hiroaki Tabuchi, Motoji Yamamoto	An edge-based computationally efficient formulation of Saint Venant-Kirchhoff tetrahedral finite elements.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	Green-Lagrange strain, Saint Venant-Kirchhoff material, Simulation, interactive, haptics, deformation, finite element
1	Yuqiang Lu, Weiming Wang, Shifu Chen, Yongming Xie, Jing Qin, Wai-Man Pang, Pheng-Ann Heng	Accelerating Algebraic Reconstruction Using CUDA-Enabled GPU.	CGIV	2009	DBLP DOI BibTeX RDF
1	Zakarya Alzamil	Application of redundant computation in program debugging.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang	The potential of computation reuse in high-level optimization of a signal recognition system.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Yi-Hau Chen, Shao-Yi Chien, Ching-Yeh Chen, Yu-Wen Huang, Liang-Gee Chen	Analysis and Hardware Architecture Design of Global Motion Estimation.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	MPEG-4 advanced simple profile, Mosaic, Gradient descent, Global motion estimation, Sprites
1	Hyunsoo Kim, Haesun Park, Lars Eldén	Non-negative Tensor Factorization Based on Alternating Large-scale Non-negativity-constrained Least Squares.	BIBE	2007	DBLP DOI BibTeX RDF
1	Jun Gao, Tengjiao Wang, Dongqing Yang	MQTree Based Query Rewriting over Multiple XML Views.	DEXA	2007	DBLP DOI BibTeX RDF
1	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault Identification in Reconfigurable Carry Lookahead Adders Targeting Nanoelectronic Fabrics.	European Test Symposium	2006	DBLP DOI BibTeX RDF
1	Shao-Yi Chien, Wei-Kai Chan, Der-Chun Cherng, Jing-Ying Chang	Human Object Tracking Algorithm with Human Color Structure Descriptor for Video Surveillance Systems.	ICME	2006	DBLP DOI BibTeX RDF
1	Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman	Distributed scheduling for disconnected cooperation.	Distributed Computing	2006	DBLP DOI BibTeX RDF	Combinatorial design theory, Scheduling, Distributed computing, Cooperative work
1	Lingli Zhang, Chandra Krintz	The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices.	TACO	2005	DBLP DOI BibTeX RDF	Code unloading, JVM, code-size reduction, JIT, resource-constrained devices
1	Chih-Chung Lu, Shau-Yin Tseng, Szu-Kai Huang	A Secure Modular Exponential Algorithm Resists to Power, Timing, C Safe Error and M Safe Error Attacks.	AINA	2005	DBLP DOI BibTeX RDF
1	Shih-Yu Huang, Chun-Ming Huang	An efficient block motion estimation algorithm on multimedia processors.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Sung-Ming Yen, Lee-Chun Ko, Sang-Jae Moon, JaeCheol Ha	Relative Doubling Attack Against Montgomery Ladder.	ICISC	2005	DBLP DOI BibTeX RDF	Doubling attack, Cryptography, Smart card, Side-channel attack, Scalar multiplication, Exponentiation, Simple power analysis (SPA), Chosen-message attack
1	Héctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa	A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.	ILP	2005	DBLP DOI BibTeX RDF
1	Chunghun Ha, Way Kuo	Multi-Path Approach for Reliability-Redundancy Allocation Using a Scaling Method.	J. Heuristics	2005	DBLP DOI BibTeX RDF	reliability optimization, reliability-redundancy allocation, scaling method, iterative heuristic, nonconvex mixed-integer nonlinear programming
1	Kevin Walsh, Emin Gün Sirer	Staged simulation: A general technique for improving simulation scale and performance.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	Staged simulation, wireless simulation, performance and scale
1	Gosia Wrzesinska, Rob van Nieuwpoort, Jason Maassen, Henri E. Bal	An simple and efficient fault tolerance mechanism for divide-and-conquer systems.	CCGRID	2004	DBLP DOI BibTeX RDF
1	Bin Xiao, Jiannong Cao, Qingfeng Zhuge, Zili Shao, Edwin Hsing-Mean Sha	Dynamic Update of Shortest Path Tree in OSPF.	ISPAN	2004	DBLP DOI BibTeX RDF
1	Zakarya Alzamil	RCAT: A Performance Analysis Tool.	ASE	2004	DBLP DOI BibTeX RDF
1	Wen-Chung Chang, Shu-An Lee	Real-time feature-based 3D map reconstruction for stereo visual guidance and control of mobile robots in indoor environments.	SMC	2004	DBLP DOI BibTeX RDF
1	S. Goldberg, Shambhu J. Upadhyaya, W. Kent Fuchs	Recovery schemes for mesh arrays utilizing dedicated spares.	IEEE Transactions on Reliability	2004	DBLP DOI BibTeX RDF
1	Byung-Soo Choi, Jeong-A. Lee, Dong-Soo Har	High Performance Microprocessor Design Methods Exploiting Information Locality and Data Redundancy for Lower Area Cost and Power Consumption.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
1	Christian Stangier, Thomas Sidle	Invariant Checking Combining Forward and Backward Traversal.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Polina Kondratieva, Vlastimil Havran, Hans-Peter Seidel	Effective Use of Procedural Shaders in Animated Scenes.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Kevin Walsh II, Emin Gün Sirer	Simulation of large scale networks I: staged simulation for improving scale and performance of wireless network simulations.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Wing-Kin Sung, Wah-Heng Lee	Fast and Accurate Probe Selection Algorithm for Large Genomes.	CSB	2003	DBLP DOI BibTeX RDF
1	Jian Huang, David J. Lilja	Balancing Reuse Opportunities and Performance Gains with Subblock Value Reuse.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Block reuse, subblock reuse, compiler flow analysis, value reuse, value locality
1	Joonseon Ahn, Yong Jin Kwon	A Differential Fixpoint Evaluation Framework for Non-distributive Systems.	APLAS	2003	DBLP DOI BibTeX RDF	fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
1	Steven M. Currie, Paul R. Schumacher, Barry K. Gilbert, Earl E. Swartzlander Jr., Barbara A. Randall	Implementation of a Single Chip, Pipelined, Complex, One-Dimensional Fast FourierTransform in 0.25 mu m BulkCMOS.	ASAP	2002	DBLP DOI BibTeX RDF
1	Khurram Muhammad, Kaushik Roy	Reduced computational redundancy implementation of DSP algorithms using computation sharing vector scaling.	IEEE Trans. VLSI Syst.	2002	DBLP DOI BibTeX RDF
1	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
1	Jiuyong Li, Hong Shen, Rodney W. Topor	Mining Optimal Class Association Rule Set.	PAKDD	2001	DBLP DOI BibTeX RDF
1	Zakarya Alzamil, Bogdan Korel	Redundant Computation and its Application in Software Performance Analysis.	Int. CMG Conference	2000	DBLP BibTeX RDF
1	Michael Münch, Norbert Wehn, Bernd Wurth, Renu Mehra, Jim Sproch	Automating RT-Level Operand Isolation to Minimize Power Consumption in Datapaths.	DATE	2000	DBLP DOI BibTeX RDF
1	Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele	Executing Query Packs in ILP.	ILP	2000	DBLP DOI BibTeX RDF
1	Yongqiao Xiao, Margaret H. Dunham	Considering Main Memory in Mining Association Rules.	DaWaK	1999	DBLP DOI BibTeX RDF
1	ByungHoong Kang	Unified Table Approach for Typographic Rendering.	EP	1998	DBLP DOI BibTeX RDF
1	Ming-Yang Kao, Jie Wang	Efficient Minimization of Numerical Summation Errors.	ICALP	1998	DBLP DOI BibTeX RDF
1	James B. Armstrong, Muthucumaru Maheswaran, Mitchell D. Theys, Howard Jay Siegel, Mark A. Nichols, Kenneth H. Casey	Parallel Image Correlation: Case Study to Examine Trade-Offs in Algorithm-to-Machine Mappings.	The Journal of Supercomputing	1998	DBLP DOI BibTeX RDF	nCUBE 2, PASM prototype, scalability, SIMD, MIMD, Intel Paragon, image correlation, mixed-mode, MasPar MP-1
1	Michael S. Schlansker, Vinod Kathail, Sadun Anik	Height reduction of control recurrences for ILP processors.	MICRO	1994	DBLP DOI BibTeX RDF	back-substitution, blocked back-substitution, control height reduction, parallelism, software pipeline, control dependences, loop optimization, recurrences
1	Konstantinos F. Sagonas, Terrance Swift, David Scott Warren	XSB as an Efficient Deductive Database Engine.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Prolog
1	John R. Deller Jr., R. K. Snider	Reducing redundant computation in HMM evaluation.	IEEE Transactions on Speech and Audio Processing	1993	DBLP DOI BibTeX RDF
1	Sumit Ganguly, Abraham Silberschatz, Shalom Tsur	A Framework for the Parallel Processing of Datalog Queries.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
1	Jeffrey F. Naughton	Minimizing function-free recursive inference rules.	J. ACM	1989	DBLP DOI BibTeX RDF
1	Kuang-Wei Chiang, Surendra Nahar, Chi-Yuan Lo	Time-efficient VLSI artwork analysis algorithms in GOALIE2.	IEEE Trans. on CAD of Integrated Circuits and Systems	1989	DBLP DOI BibTeX RDF
1	Kuang-Wei Chiang, Surendra Nahar, Chi-Yuan Lo	Time Efficient VLSI Artwork Analysis Algorithms in GOALIE2.	DAC	1988	DBLP BibTeX RDF
1	N. Natarajan, Jian Tang	Synchronization of Redundant Computation in a Distributed System.	SRDS	1987	DBLP BibTeX RDF
1	Graham C. Driscoll Jr., Donald L. Orth	APL-compilation - where does the time come from?	APL	1987	DBLP DOI BibTeX RDF	APL
1	K. H. (Kane) Kim, C. V. Ramamoorthy	Failure-tolerant parallel programming and its supporting system architecture.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF