Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jin-San Cheng, Sylvain Lazard, Luis Mariano Peñaranda, Marc Pouget, Fabrice Rouillier, Elias P. Tsigaridas	On the topology of planar algebraic curves.	SCG	2009	DBLP DOI BibTeX RDF	effective algebraic geometry, topology of algebraic curves, exact geometric computation
12	Debabrata Mohapatra, Georgios Karakonstantis, Kaushik Roy 0001	Significance driven computation: a voltage-scalable, variation-aware, quality-tuning motion estimator.	ISLPED	2009	DBLP DOI BibTeX RDF	significance driven computation, variation aware, voltage over-scaling, low power, motion estimation
12	Andrzej Jankowski, Andrzej Skowron, Marcin S. Szczuka	Interactive Granular Computing in Rightly Judging Systems.	RSKT	2009	DBLP DOI BibTeX RDF	rough-granular computing, wisdom technology (Wistech), interaction, Rough sets, granular computing, judgment
12	Roger F. Woods, John V. McCanny, John G. McWhirter	From Bit Level Systolic Arrays to HDTV Processor Chips.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	SoC architectures, DSP systems, pipelining, systolic arrays
12	J. P. Grossman, John K. Salmon, C. Richard Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw	Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.	ICCD	2008	DBLP DOI BibTeX RDF
12	Jean-Dominique Gascuel, Nicolas Holzschuch, Gabriel Fournier, Bernard Péroche	Fast non-linear projections using graphics hardware.	SI3D	2008	DBLP DOI BibTeX RDF	indirect lighting, non-linear projections, video games & GPU, graphics hardware
12	Yu Sasaki, Lei Wang 0031, Kazuo Ohta, Noboru Kunihiro	Password Recovery on Challenge and Response: Impossible Differential Attack on Hash Function.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF	Challenge and Response, Prefix, Impossible Differential Attack, Hash Function, Hybrid, MD4, Local Collision
12	Nick Trebon, Peter H. Beckman	Empirical-based probabilistic upper bounds for urgent computing applications.	CLUSTER	2008	DBLP DOI BibTeX RDF
12	Hanli Wang, Sam Kwong	Hybrid Model to Detect Zero Quantized DCT Coefficients in H.264.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
12	Martin C. Rinard	Using early phase termination to eliminate load imbalances at barrier synchronization points.	OOPSLA	2007	DBLP DOI BibTeX RDF	early phase termination, probabilistic cistortion models, parallel computing, barrier synchronization
12	Tae-Kyung Ryu, Tae-Il Jeong, Kwon-Yeol Ryu, Kwang-Seok Moon, Jong-Nam Kim	A Fast Partial Distortion Elimination Algorithm Using Adaptive Matching Scan and Refining Threshold.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Partial Distortion Elimination, Motion Estimation, Block Matching
12	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia	Sketching stencils.	PLDI	2007	DBLP DOI BibTeX RDF	sketching, SAT, stencil
12	Georgios Karakonstantis, Nilanjan Banerjee, Kaushik Roy 0001, Chaitali Chakrabarti	Design methodology to trade off power, output quality and error resiliency: application to color interpolation filtering.	ICCAD	2007	DBLP DOI BibTeX RDF
12	Kazuhiro Suzuki, Kaoru Kurosawa	How to Find Many Collisions of 3-Pass HAVAL.	IWSEC	2007	DBLP DOI BibTeX RDF	hash function, collision, differential attack, HAVAL
12	Pavel P. Kuksa, Vladimir Pavlovic 0001	Fast Kernel Methods for SVM Sequence Classifiers.	WABI	2007	DBLP DOI BibTeX RDF
12	Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla	Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.	LOPSTR	2007	DBLP DOI BibTeX RDF
12	Evgeny Dantsin, Alexander Wolpert, Vladik Kreinovich	Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems.	SAC	2006	DBLP DOI BibTeX RDF
12	Stéphane Mancini, Michel Desvignes	Ray Casting on a SOPC : Algorithm and Memory Hierarchy Trade-Off.	CIT	2006	DBLP DOI BibTeX RDF
12	Kei Uchizawa, Rodney J. Douglas, Wolfgang Maass 0001	Energy Complexity and Entropy of Threshold Circuits.	ICALP (1)	2006	DBLP DOI BibTeX RDF
12	Songtao Xia, Ben Di Vito, César A. Muñoz	Predicate Abstraction of Programs with Non-linear Computation.	ATVA	2006	DBLP DOI BibTeX RDF
12	Sungwoo Park	A Modal Language for the Safety of Mobile Values.	APLAS	2006	DBLP DOI BibTeX RDF
12	Ken Tokoro, Kazuaki Yamaguchi, Sumio Masuda	Improvements of TLAESA nearest neighbour search algorithm and extension to approximation search.	ACSC	2006	DBLP BibTeX RDF	TLAESA, distance computaion, k nearest neighbour search, approximation search, nearest neighbour search
12	A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan	Memory minimization for tensor contractions using integer linear programming.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Jong-Nam Kim, Tae-Kyung Ryu, Yongjae Jeong	A Fast Partial Distortion Elimination Algorithm Using Selective Matching Scan.	ISCIS	2006	DBLP DOI BibTeX RDF
12	Hongbo Yu, Xiaoyun Wang 0001, Aaram Yun, Sangwoo Park	Cryptanalysis of the Full HAVAL with 4 and 5 Passes.	FSE	2006	DBLP DOI BibTeX RDF	message modification, Hash function, collision, differential path
12	Daniel M. Zimmerman, K. Mani Chandy	Snapshot Processing in Streaming Environments.	GRID	2006	DBLP DOI BibTeX RDF
12	Tae-Kyung Ryu, Gwang Jung, Jong-Nam Kim	A Fast Full Search Algorithm for Motion Estimation Using Priority of Matching Scan.	ICIAR (1)	2006	DBLP DOI BibTeX RDF
12	Jetty Kleijn, Maciej Koutny	Synchrony and Asynchrony in Membrane Systems.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
12	Manfred Kerber	A Dynamic Poincaré Principle.	MKM	2006	DBLP DOI BibTeX RDF
12	Huiyang Zhou, Thomas M. Conte	Enhancing Memory-Level Parallelism via Recovery-Free Value Prediction.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Single data stream architectures
12	Chao Huang, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Generation of distributed logic-memory architectures through high-level synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
12	Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam	Interprocedural parallelization analysis in SUIF.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
12	Ekkehard Köhler, Rolf H. Möhring, Heiko Schilling	Acceleration of Shortest Path and Constrained Shortest Path Computation.	WEA	2005	DBLP DOI BibTeX RDF
12	Abhishek Agarwal, Maria Hybinette	Merging Parallel Simulation Programs.	PADS	2005	DBLP DOI BibTeX RDF
12	Viktor K. Prasanna	High Performance Computing using Reconfigurable Hardware.	ENC	2005	DBLP DOI BibTeX RDF
12	Chen-Fu Lin, Jin-Jang Leou	An adaptive fast full search motion estimation algorithm for H.264.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
12	Fangguo Zhang, Yi Mu 0001, Willy Susilo	Reducing Security Overhead for Mobile Networks.	AINA	2005	DBLP DOI BibTeX RDF
12	Antoine Bourgeade, Boniface Nkonga	Dynamic Load Balancing Computation of Pulses Propagating in a Nonlinear Medium.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	interactions matter/laser, localized pulses, nonlinear optics, message passing strategy, dynamic load-balance, Maxwell equations, FDTD
12	Benjamin Aminof, Thomas Ball, Orna Kupferman	Reasoning About Systems with Transition Fairness.	LPAR	2004	DBLP DOI BibTeX RDF
12	Qing Yi, Ken Kennedy, Haihang You, Keith Seymour, Jack J. Dongarra	Automatic blocking of QR and LU factorizations for locality.	Memory System Performance	2004	DBLP DOI BibTeX RDF	LU, locality, blocking, loop optimizations, LAPACK, QR
12	Elisa Bertino, Bruno Crispo, James Joshi, Wengliang (Kevin) Du, Ravi S. Sandhu	Security for grid-based computing systems issues and challenges.	SACMAT	2004	DBLP DOI BibTeX RDF
12	E. V. Krishnamurthy, Venu K. Murthy, Vikram Krishnamurthy	Biologically inspired rule-based multiset programming paradigm for soft-computing.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	biologically-inspired paradigm, closed and open systems, first and second order logic, genetic and molecular computing, probabilistic rule based paradigm, soft computing, DNA
12	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
12	Regine Endsuleit, Jacques Calmet	Introducing Robust and Private Computation into Grid Technology.	WETICE	2004	DBLP DOI BibTeX RDF	Security in the Grid, Ro-bustness, Privacy, Distributed Computation, Secret Sharing
12	Weidong Wang, Anand Raghunathan, Niraj K. Jha	Profiling Driven Computation Reuse: An Embedded Software Synthesis Technique for Energy and Performance Optimization.	VLSI Design	2004	DBLP DOI BibTeX RDF
12	Morgan McGuire, John F. Hughes	Hardware-determined feature edges.	NPAR	2004	DBLP DOI BibTeX RDF	GPU, NPR, contour, silhouette, shadow volume
12	Wayne Eberly	Reliable Krylov-based algorithms for matrix null space and rank.	ISSAC	2004	DBLP DOI BibTeX RDF	Frobenius decomposition, block lanczos algorithm, linear system solution, matrix rank, randomized algorithm, black box matrix
12	Jason Nieh, Monica S. Lam	A SMART scheduler for multimedia applications.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	Scheduling, multimedia, real-time, proportional sharing
12	Hai Li, Chen-Yong Cher, T. N. Vijaykumar, Kaushik Roy 0001	VSV: L2-Miss-Driven Variable Supply-Voltage Scaling for Low Power.	MICRO	2003	DBLP DOI BibTeX RDF
12	Wolfgang Blochinger, Wolfgang Küchlin	The Design of an API for Strict Multithreading in C++.	Euro-Par	2003	DBLP DOI BibTeX RDF
12	Giancarlo Mauri, Alberto Leporati	On the Computational Complexity of Conservative Computing.	MFCS	2003	DBLP DOI BibTeX RDF
12	Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec	The Reconstruction of a Mobile Agent Computation and Its Validation.	IPDPS	2003	DBLP DOI BibTeX RDF	validation, refinement, reconstruction, diffusing computation
12	Huiyang Zhou, Thomas M. Conte	Enhancing memory level parallelism via recovery-free value prediction.	ICS	2003	DBLP DOI BibTeX RDF	recovery-free value prediction, prefetching, memory disambiguation, memory level parallelism
12	Win Bausch, Cesare Pautasso, Gustavo Alonso	Programming for Dependability in a Service-based Grid.	CCGRID	2003	DBLP DOI BibTeX RDF
12	Alen Docef, Faouzi Kossentini, Khanh Nguyen-Phi, Ismaeil R. Ismaeil	The quantized DCT and its application to DCT-based video coding.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
12	Jirí Wiedermann, Jan van Leeuwen	Relativistic Computers and Non-uniform Complexity Theory.	UMC	2002	DBLP DOI BibTeX RDF
12	Chao Huang, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	High-level synthesis of distributed logic-memory architectures.	ICCAD	2002	DBLP DOI BibTeX RDF
12	Vanesa Daza, Javier Herranz, Carles Padró, Germán Sáez	A Distributed and Computationally Secure Key Distribution Scheme.	ISC	2002	DBLP DOI BibTeX RDF
12	Antoine Bourgeade, Boniface Nkonga	Dynamic Load Balancing Computation of Pulses Propagating in a Nonlinear Medium.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
12	Mitchell A. Thornton, D. Michael Miller, Whitney J. Townsend	Chrestenson Spectrum Computation Using Cayley Color Graphs.	ISMVL	2002	DBLP DOI BibTeX RDF	Crestenson Spectrum, eigenvalue, Cayley Graph
12	Man Guo, M. Omair Ahmad, M. N. S. Swamy, Chunyan Wang 0004	An adaptive Viterbi algorithm based on strongly connected trellis decoding.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
12	Huy Nguyen 0001, Abhijit Chatterjee	Design of Real-Number Checksum Codes Using Shared Partial Computation for CED in Linear DSP Systems.	IOLTW	2002	DBLP DOI BibTeX RDF
12	Douglas DeCarlo	Towards Real-Time Cue Integration by Using Partial Results.	ECCV (4)	2002	DBLP DOI BibTeX RDF	meta-reasoning, real-time vision, Cue integration
12	Yi Pan 0001, Si-Qing Zheng, Keqin Li 0001, Hong Shen 0001	An Improved Generalization of Mesh-Connected Computers with Multiple Buses.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	mesh-connected computer with multiple buses, parallel algorithm, parallel computing, parallel architecture, processor array, Bus, mesh-connected computer
12	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Transformations of CCP programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	optimization, Concurrent constraint programming, deadlock-freeness
12	Gustavo Alonso, Win Bausch, Cesare Pautasso, Ari Kahn, Michael T. Hallett	Dependable Computing in Virtual Laboratories.	ICDE	2001	DBLP DOI BibTeX RDF
12	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
12	Michael B. Jones, Stefan Saroiu	Predictability requirements of a soft modem.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF	Rialto, Rialto/NT, open real-time system, soft devices, soft modem, real-time, signal processing, Windows NT, Windows 2000, CPU scheduling
12	Jacques Patarin	Generic Attacks on Feistel Schemes.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	Feistel permutations, generic attacks on encryption schemes, Luby-Rackoff theory, pseudo-random permutations
12	Hai-Xiang Lin	Designing Parallel Sparse Matrix Algorithms beyond Data Dependence Analysis.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
12	Christian Koziar, Robert Reilein, Gudula Rünger	Load Imbalance Aspects in Atmosphere Simulations.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
12	Richard Královic	Time and Space Complexity of Reversible Pebbling.	SOFSEM	2001	DBLP DOI BibTeX RDF
12	Nicolae Tandareanu	Knowledge Bases with Output.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Knowledge representation and reasoning system, Labeled stratified graph, Morphism, Partial algebra
12	Michael J. Schulte, Earl E. Swartzlander Jr.	A Family of Variable-Precision Interval Arithmetic Processors.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	variable-precision arithmetic, computer arithmetic, accuracy, Processors, interval arithmetic, hardware designs, roundoff error
12	John H. Reif, Thomas H. LaBean, Nadrian C. Seeman	Challenges and Applications for Self-Assembled DNA Nanostructures.	DNA Computing	2000	DBLP DOI BibTeX RDF
12	Piyush Jamkhandi, Amar Mukherjee, Kunal Mukherjee, Robert Franceschini	Parallel Hardware-Software Architecture for Computation of Discrete Wavelet Transform Using the Recursive Merge Filtering Algorithm.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
12	Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe 0001	Specification of a Scilab Meta-Computing Extension.	ICPP Workshops	2000	DBLP DOI BibTeX RDF	numerical applications, parallelism, CORBA, trading, meta-computing, Scilab
12	Felipe Cucker	Solving polynomial systems: a complexity theory viewpoint.	ISSAC	2000	DBLP DOI BibTeX RDF
12	John H. Reif	Parallel Biomolecular Computation: Models and Simulations.	Algorithmica	1999	DBLP DOI BibTeX RDF	Parallel RAM, Nondeterministic computation, Recombinant DNA, Parallel computation, DNA, NP, Biomolecular computation, Biotechnology
12	Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý	Parallelizing of Sequential Annotated Programs in PVM Environment.	PVM/MPI	1999	DBLP DOI BibTeX RDF
12	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou	Linear Tabulated Resolutions for the Well-Founded Semantics.	LPNMR	1999	DBLP DOI BibTeX RDF
12	Fangzhe Chang, Vijay Karamcheti, Zvi M. Kedem	Exploiting Application Tunability for Efficient, Predictable Parallel Resource Management.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
12	Huesung Kim, Arun K. Somani, Akhilesh Tyagi	On Reconfiguring Cache for Computing.	FCCM	1999	DBLP DOI BibTeX RDF	cache, convolution, reconfigurable hardware
12	Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý	Parallelizing of Seqential Programs on the Basis of Pipeline and Speculative Features of the Operators.	PaCT	1999	DBLP DOI BibTeX RDF
12	Y. Tachi, Satoshi Yamane	Real-Time Symbolic Model Checking for Hard Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic
12	Vasily G. Moshnyaga	A new architecture for computationally adaptive full-search block-matching motion estimation.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
12	José Meseguer 0001, Carolyn L. Talcott	A Partial Order Event Model for Concurrent Objects.	CONCUR	1999	DBLP DOI BibTeX RDF
12	Andrea Corradini 0001, Martin Große-Rhode, Reiko Heckel	An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.	WADT	1998	DBLP DOI BibTeX RDF
12	Wuu Yang	Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators.	APSEC	1997	DBLP DOI BibTeX RDF
12	Robert Tolksdorf	Coordinative Applications, Structured Coordination, and Meta Coordination.	HICSS (1)	1997	DBLP DOI BibTeX RDF
12	J. A. Smith, Santosh K. Shrivastava	Fault-Tolerant Parallel Applications Using Queues and Actions.	ICPP	1997	DBLP DOI BibTeX RDF	Fault-tolerant bag of tasks, Network of workstations, Data intensive, Out of core computation
12	Martin C. Rinard	Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives.	PPoPP	1997	DBLP DOI BibTeX RDF
12	Arne J. Glenstrup, Neil D. Jones	BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
12	Raju Pandey, James C. Browne	Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language.	IPPS	1996	DBLP DOI BibTeX RDF	Extensiblity, Parallel Programming, Concurrency, object-orientation, C++, Inheritance, Reusability, Templates
12	John Boyland, Giuseppe Castagna	Type-Safe Compilation of Covariant Specialization: A Practical Case.	ECOOP	1996	DBLP DOI BibTeX RDF
12	Feng Zhou, Peter Kornerup	High Speed DCT/IDCT Using a Pipelined CORDIC Algorithm.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
12	Paolo Volpe	Concurrent Logic Programming as Uniform Linear Proofs.	ALP	1994	DBLP DOI BibTeX RDF	Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic
12	Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert	Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap.	CONPAR	1994	DBLP DOI BibTeX RDF
12	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
12	Grégoire Malandain, Gilles Bertrand 0001, Nicholas Ayache	Topological segmentation of discrete surfaces.	Int. J. Comput. Vis.	1993	DBLP DOI BibTeX RDF