Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Igor Litovsky, Yves Métivier, Wieslaw Zielonka	The Power and the Limitations of Local Computations on Graphs.	WG	1992	DBLP DOI BibTeX RDF
21	Philippe Codognet, Gilberto Filé	Computations, abstractions and constraints in logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
21	Efim B. Kinber	Some Models of Inductive Syntactical Synthesis from Sample Computations.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
21	Vít Ochozka, Olga Stepánková, Petr Stepánek	Normal Forms and the Complexity of Computations of Logic Programs.	CSL	1988	DBLP DOI BibTeX RDF
21	John H. Reif	On the Power of Probabilistic Choice in Synchronous Parallel Computations.	ICALP	1982	DBLP DOI BibTeX RDF
20	Matteo Frigo, Volker Strumpen	The Cache Complexity of Multithreaded Cache Oblivious Algorithms.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Multithreading, Cache oblivious algorithms, Stencil computations
20	Xinyu Zhang 0002, Young J. Kim	Interactive Collision Detection for Deformable Models Using Streaming AABBs.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	AABB, Collision detection, deformable models, programmable graphics hardware, streaming computations
20	Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu	Optimization of Arithmetic Datapaths with Finite Word-Length Operands.	ASP-DAC	2007	DBLP DOI BibTeX RDF	arithmetic datapaths, finite word length, operands, polynomial computations, finite integer rings, CAD, area optimization, bit vectors
20	Nicos Karcanias, Marilena Mitrouli, Dimitrios Triantafyllou	A Hybrid Approach for Normal Factorization of Polynomials.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF	Polynomials, factorization, greatest common divisor, approximate computations
20	Mayez A. Al-Mouhamed	Array Organization in Parallel Memories.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	embedded systems, compiler optimization, access patterns, streamed computations, parallel memory
20	Beth Plale, Karsten Schwan	Dynamic Querying of Streaming Data with the dQUOB System.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	publish-subscribe event channels, grid computing, SQL, data streams, Data-intensive computations, relational data model, database query processing
20	Ioannis Ioannidis, Ananth Grama, Mikhail J. Atallah	A Secure Protocol for Computing Dot-Products in Clustered and Distributed Environments.	ICPP	2002	DBLP DOI BibTeX RDF	Secure dot-products, Application-level security protocols, Distributed secure computations
20	Chih Jeng Kenneth Tan	On Parallel Pseudo-Random Number Generation.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF	Parallel computing, Monte Carlo method, Pseudo-random number generators, Stochastic methods, Randomized computations
20	Olivier Devillers, Pierre-Marie Gandoin	Rounding Voronoi Diagram.	DGCI	1999	DBLP DOI BibTeX RDF	integer coordinates, Voronoi diagram, exact computations, geometric computing
20	Inki Hong, Miodrag Potkonjak, Ramesh Karri	Power optimization using divide-and-conquer techniques for minimization of the number of operations.	ICCAD	1997	DBLP DOI BibTeX RDF	DSP computations, architectural techniques, divide-and-conquer compilation, portable wireless DSP applications, compilation, power consumption, data flow graphs
20	Catherine H. Gebotys, Robert J. Gebotys	Optimized mapping of video applications to hardware-software for VLSI architectures.	HICSS (1)	1995	DBLP DOI BibTeX RDF	integer optimization, video computations, video systems, optimized mapping, scheduling, VLSI, optimisation, VLSI architectures, video signal processing, VLIW processor
20	Neelima Shrikhande, George C. Stockman	Surface Orientation from a Projected Grid.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	projected grid, surface shape, surface normals, nonlinear computations, calibration matrix, parallel projection model, pattern recognition, computer vision, computer vision, computerised pattern recognition, matrix algebra, distortion, surface orientation, 2D images
19	Soheil Ghiasi, Elaheh Bozorgzadeh, Karlene Nguyen, Majid Sarrafzadeh	Efficient Timing Budget Management for Accuracy Improvement in a Collaborative Object Tracking System.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	accuracy-latency tradeoff, delay budgeting, object tracking, collaborative applications
19	Lisa Higham, LillAnne Jackson	Translating between itanium and sparc memory consistency models.	SPAA	2006	DBLP DOI BibTeX RDF	multiprocessors, program transformations, memory consistency models, sparc, itanium
19	Ramgopal Rajagopalan, Dhrubajyoti Goswami, Sudhir P. Mudur	Functionality Distribution for Parallel Rendering.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Alexander Serebrenik, Danny De Schreye	Inference of Termination Conditions for Numerical Loops in Prolog.	LPAR	2001	DBLP DOI BibTeX RDF
19	Wenliang Du, Mikhail J. Atallah	Secure multi-party computation problems and their applications: a review and open problems.	NSPW	2001	DBLP DOI BibTeX RDF	privacy, secure multi-party computation
19	Evgueni S. Petrov	Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models.	ADVIS	2000	DBLP DOI BibTeX RDF
19	Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe	The data locality of work stealing.	SPAA	2000	DBLP DOI BibTeX RDF
19	Patrick Cousot, Radhia Cousot	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.	POPL	1977	DBLP DOI BibTeX RDF
19	Erik-Oliver Blass, Florian Kerschbaum	Mixed-Technique Multi-Party Computations Composed of Two-Party Computations.	ESORICS (3)	2022	DBLP DOI BibTeX RDF
19	Francesco Ingarozza, Maria Teresa Adamo, Maria Martino, Aldo Piscitelli	A Grossone-Based Numerical Model for Computations with Infinity: A Case Study in an Italian High School.	NUMTA(1)	2019	DBLP DOI BibTeX RDF
19	Louis D'Alotto	Finite and Infinite Computations and a Classification of Two-Dimensional Cellular Automata Using Infinite Computations.	PaCT	2017	DBLP DOI BibTeX RDF
19	Mike Stannett	Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.	MCU	2015	DBLP DOI BibTeX RDF
19	Hazem Toutounji, Gordon Pipa	Spatiotemporal Computations of an Excitable and Plastic Brain: Neuronal Plasticity Leads to Noise-Robust and Noise-Constructive Computations.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
19	Vladik Kreinovich	Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty: From Interval Computations to Rough Set-Related Computations.	RSFDGrC	2011	DBLP DOI BibTeX RDF
19	René Struik	Batch Computations Revisited: Combining Key Computations and Batch Verifications.	Selected Areas in Cryptography	2010	DBLP DOI BibTeX RDF
19	Vladik Kreinovich	From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk).	CCA	2009	DBLP BibTeX RDF
19	Guoqing Lu, Jun Ni	Highlighting computations in bioscience and bioinformatics: review of the Symposium of Computations in Bioinformatics and Bioscience (SCBB07).	BMC Bioinform.	2008	DBLP DOI BibTeX RDF
19	John Fisher, Marc Bezem	Query Completeness of Skolem Machine Computations.	MCU	2007	DBLP DOI BibTeX RDF
19	Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka	Local Computations in Graphs: The Case of Cellular Edge Local Computations.	Fundam. Informaticae	2006	DBLP BibTeX RDF
19	Youping Deng, Jun Ni 0001, Chaoyang Zhang	Development of computations in bioscience and bioinformatics and its application: review of the Symposium of Computations in Bioinformatics and Bioscience (SCBB06).	BMC Bioinform.	2006	DBLP DOI BibTeX RDF
19	Jean-Louis Giavitto, Olivier Michel 0001, Julien Cohen, Antoine Spicher	Computations in Space and Space in Computations.	UPP	2004	DBLP DOI BibTeX RDF
19	Zahari Zlatev, Ivan Dimov 0001, Krassimir Georgiev, Jerzy Wasniewski	Parallel Computations with Large Atmospheric Models.	PARA	1995	DBLP DOI BibTeX RDF
19	David F. Martin, Gerald Estrin	Path Length Computations on Graph Models of Computations.	IEEE Trans. Computers	1969	DBLP DOI BibTeX RDF
17	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
17	Hassan Artail, Michel Abi-Aad	An enhanced Web page change detection approach based on limiting similarity computations to elements of same type.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Change monitoring, Change detection, Web page, Performance improvements, Similarity computation
17	Jin-yi Cai, Vinay Choudhary, Pinyan Lu	On the Theory of Matchgate Computations.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Matchgates, Grassmann-Plücker identities, Holographic algorithms
17	Claudio Mirolo	Mental models of recursive computations vs. recursive analysis in the problem domain.	ITiCSE	2009	DBLP DOI BibTeX RDF	recursion, mental models, programming learning
17	Gerhard Wellein, Georg Hager, Thomas Zeiser, Markus Wittmann, Holger Fehske	Efficient Temporal Blocking for Stencil Computations by Multicore-Aware Wavefront Parallelization.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
17	Matthias Christen, Olaf Schenk, Esra Neufeld, Peter Messmer, Helmar Burkhart	Parallel data-locality aware stencil computations on modern micro-architectures.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Xinxin Fan, Guang Gong, David Jao	Speeding Up Pairing Computations on Genus 2 Hyperelliptic Curves with Efficiently Computable Automorphisms.	Pairing	2008	DBLP DOI BibTeX RDF	Genus 2 non-supersingular hyperelliptic curves, Miller’s algorithm, Tate pairing, Efficient implementation, Automorphism
17	Stephen Crouch, Peter Henderson 0001, Robert John Walters	Utilising Located Functions to Model and Optimise Distributed Computations.	COMPSAC	2008	DBLP DOI BibTeX RDF	Located Functions, Grid Computing, Distributed Computation
17	Harald Hempel, Madlen Kimmritz	Persistent Computations of Turing Machines.	CIAA	2008	DBLP DOI BibTeX RDF
17	Michael Mascagni	Random Number Generation for serial, parallel, distributed, and Grid-based financial computations.	IPDPS	2008	DBLP DOI BibTeX RDF
17	Guillaume Melquiond	Proving Bounds on Real-Valued Functions with Computations.	IJCAR	2008	DBLP DOI BibTeX RDF
17	David Benjamin, Mikhail J. Atallah	Private and Cheating-Free Outsourcing of Algebraic Computations.	PST	2008	DBLP DOI BibTeX RDF
17	Ulrich Hertrampf, Christoph Minnameier	Resource Bounded Frequency Computations with Three Errors.	COCOON	2008	DBLP DOI BibTeX RDF
17	Bilel Derbel, Mohamed Mosbah 0001, Stefan Gruner	Mobile Agents Implementing Local Computations in Graphs.	ICGT	2008	DBLP DOI BibTeX RDF	Relabeling systems, Distributed algorithms, Mobile agents
17	Carlo Blundo, Clemente Galdi, Giuseppe Persiano	Low-randomness constant-round private XOR computations.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Randomness, Multiparty computation
17	Dipanjan Gope, Albert E. Ruehli, Vikram Jandhyala	Speeding Up PEEC Partial Inductance Computations Using a QR-Based Algorithm.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
17	Georgiana Macariu, Marc Frîncu, Alexandru Cârstea, Dana Petcu, Andrei Eckstein	Redesigning Parallel Symbolic Computations Packages.	PACT	2007	DBLP DOI BibTeX RDF
17	Adam Smyk, Marek Tudruj	Hierarchical Optimization of the Parallel FDTD Computations Based on the Macro Data Flow Graph Paradigm.	ISPDC	2007	DBLP DOI BibTeX RDF
17	Dana Petcu	Distributed Symbolic Computations.	ISPDC	2007	DBLP DOI BibTeX RDF
17	Ahmed Abdelmeged, Karl J. Lieberherr	Recursive adaptive computations using perobject visitors.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	temporary intertype declaration, aspect-oriented programming, visitor pattern
17	Mitsuhisa Sato	Bandwidth-Aware Design of Large-Scale Clusters for Scientific Computations.	HPCC	2007	DBLP DOI BibTeX RDF
17	Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski	Logic Programs with Abstract Constraint Atoms: The Role of Computations.	ICLP	2007	DBLP DOI BibTeX RDF
17	Ümit V. Çatalyürek, Erik G. Boman, Karen D. Devine, Doruk Bozdag, Robert T. Heaphy, Lee Ann Riesen	Hypergraph-based Dynamic Load Balancing for Adaptive Scientific Computations.	IPDPS	2007	DBLP DOI BibTeX RDF
17	Lakshminarayanan Renganarayanan, Manjukumar Harthikote-Matha, Rinku Dewri, Sanjay V. Rajopadhye	Towards Optimal Multi-level Tiling for Stencil Computations.	IPDPS	2007	DBLP DOI BibTeX RDF
17	Wei-Cheng Lin, Chung-Ho Chen	Reduction of Frame Memory Accesses and Motion Estimation Computations in MPEG Video Encoder.	ICCCN	2007	DBLP DOI BibTeX RDF
17	Ondrej Jakl, Roman Kohut, Jirí Starý	MPI and OpenMP Computations for Nuclear Waste Deposition Models.	PPAM	2007	DBLP DOI BibTeX RDF	deep geological repository, thermo-elasticity, parallel solver, MPI, OpenMP, mathematical model
17	Lei Pan 0001, Jingling Xue, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic	Toward Automatic Data Distribution for Migrating Computations.	ICPP	2007	DBLP DOI BibTeX RDF	navigational trace graph (NTG), navigational programming, graph partitioning, data distribution
17	Jin-yi Cai, Vinay Choudhary, Pinyan Lu	On the Theory of Matchgate Computations.	CCC	2007	DBLP DOI BibTeX RDF
17	Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick	Deadlock-free scheduling of X10 computations with bounded resources.	SPAA	2007	DBLP DOI BibTeX RDF	deadlock-free scheduling, X10, active messages
17	Tommaso Bolognesi	Planar Trivalent Network Computation.	MCU	2007	DBLP DOI BibTeX RDF	Digital physics, trivalent network, complexity indicator, two-dimensional Turing machine, turmite, emergent space, cellular automata
17	Keqin Li	Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	bulk synchronous computation, workload redistribution, simulation, heterogeneous computing system
17	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
17	Hirokazu Murao	Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP.	ICMS	2006	DBLP DOI BibTeX RDF
17	Martin C. Rinard	Probabilistic accuracy bounds for fault-tolerant computations that discard tasks.	ICS	2006	DBLP DOI BibTeX RDF
17	Jeremiah Willcock, Andrew Lumsdaine	Accelerating sparse matrix computations via data compression.	ICS	2006	DBLP DOI BibTeX RDF	data compression, high-performance computing, memory bandwidth, sparse matrix
17	Roumen Anguelov, Svetoslav Markov	Numerical Computations with Hausdorff Continuous Functions.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
17	Anna Maria Bigatti, Lorenzo Robbiano	CoCoA: a system for computations in commutative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF
17	Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayappan	Data and Computation Abstractions for Dynamic and Irregular Computations.	HiPC	2005	DBLP DOI BibTeX RDF
17	Gergana Bencheva, Svetozar Margenov, Jirí Starý	Parallel PCG Solver for Nonconforming FE Problems: Overlapping of Communications and Computations.	LSSC	2005	DBLP DOI BibTeX RDF
17	Shoaib Kamil 0001, Parry Husbands, Leonid Oliker, John Shalf, Katherine A. Yelick	Impact of modern memory subsystems on cache optimizations for stencil computations.	Memory System Performance	2005	DBLP DOI BibTeX RDF	performance modeling, prefetch, stencil, cache blocking
17	Petro M. Gopych	Neural Network Computations with Negative Triggering Thresholds.	ICANN (1)	2005	DBLP DOI BibTeX RDF
17	Jérémie Chalopin	Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem.	SOFSEM	2005	DBLP DOI BibTeX RDF
17	S. Peigin, Boris Epstein 0002, T. Rubin, S. Seror	Parallel Large Scale High Accuracy Navier-Stokes Computations on Distributed Memory Clusters.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	three-dimensional (3D), compressible, CFD, PVM, parallel implementation, Navier-Stokes equations, turbulent flows
17	Arnold L. Rosenberg	On Scheduling Mesh-Structured Computations for Internet-Based Computing.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
17	Emmanuel Godard, Yves Métivier, Anca Muscholl	Characterizations of Classes of Graphs Recognizable by Local Computations.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
17	Adam Smyk, Marek Tudruj	RDMA Control Support for Fine-Grain Parallel Computations.	PDP	2004	DBLP DOI BibTeX RDF
17	Sami Khawam, Sajid Baloch, Arjun Pai, Imran Ahmed 0001, Nizamettin Aydin, Tughrul Arslan, Fred Westall	Efficient Implementations of Mobile Video Computations on Domain-Specific Reconfigurable Arrays.	DATE	2004	DBLP DOI BibTeX RDF
17	Jérémie Chalopin, Yves Métivier	Election and Local Computations on Edges.	FoSSaCS	2004	DBLP DOI BibTeX RDF
17	Keqin Li 0001	Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
17	Mohamed Mosbah 0001, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
17	Yves Métivier, Mohamed Mosbah 0001, Rodrigue Ossamy, Afif Sellami	Synchronizers for Local Computations.	ICGT	2004	DBLP DOI BibTeX RDF
17	Kostas Masselos, Panagiotis Merakos, S. Theoharis, Thanos Stouraitis, Constantinos E. Goutis	Power efficient data path synthesis of sum-of-products computations.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
17	John Watrous	On the complexity of simulating space-bounded quantum computations.	Comput. Complex.	2003	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 03D15, 68Q15
17	Sylvie Putot, Eric Goubault, Matthieu Martel	Static Analysis-Based Validation of Floating-Point Computations.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
17	Graham Cormode, Piotr Indyk, Nick Koudas, S. Muthukrishnan 0001	Fast Mining of Massive Tabular Data via Approximate Distance Computations.	ICDE	2002	DBLP DOI BibTeX RDF	Manhattan Distance, Lp norms, Data Mining, Clustering, Approximation, Euclidean Distance, Tabular Data
17	Keqin Li 0001	Average-Case Scalability Analysis of Parallel Computations on k-ary d-cubes.	IPDPS	2002	DBLP DOI BibTeX RDF
17	Ying Zhang, Kimon Roufas, Craig Eldershaw, Mark Yim, David Duff	Sensor Computations in Modular Self Reconfigurable Robots.	ISER	2002	DBLP DOI BibTeX RDF
17	Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam	Memory-Constrained Communication Minimization for a Class of Array Computations.	LCPC	2002	DBLP DOI BibTeX RDF
17	Sung-Ho Woo, Sung-Bong Yang	A Linear-Order Based Access Method for Efficient Network Computations.	EDCIS	2002	DBLP DOI BibTeX RDF
17	Wenliang Du, Mikhail J. Atallah	Privacy-Preserving Cooperative Scientific Computations.	CSFW	2001	DBLP DOI BibTeX RDF