Search results for "computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Max Neunhöffer, Ákos Seress	A data structure for a uniform approach to computations with finite groups.	ISSAC	2006	DBLP DOI BibTeX RDF	black-box group, computational group theory, constructive membership, large-base group, matrix group algorithm, permutation group algorithm, GAP
13	Peter Bürgisser, Felipe Cucker, Martin Lotz	Counting Complexity Classes for Numeric Computations. III: Complex Projective Sets.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Complexity classes, Counting problems, Euler characteristic
13	Viktor K. Prasanna	Energy-Efficient Computations on FPGAs.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	embedded signal processing, FPGA, energy efficiency, performance optimization, algorithm design
13	Magnus Svärd, Ken Mattsson, Jan Nordström	Steady-State Computations Using Summation-by-Parts Operators.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	High order finite differences, summation-by-parts operators, convergence to steady state, stability
13	Thomas Heinis, Cesare Pautasso, Oliver Deak, Gustavo Alonso	Publishing Persistent Grid Computations as WS Resources.	e-Science	2005	DBLP DOI BibTeX RDF
13	Adam Smyk, Marek Tudruj	Profiling Macro Data Flow Graphs for Parallel Implementation of FDTD Computations.	ISPDC	2005	DBLP DOI BibTeX RDF
13	Jeffrey Todd McDonald	Hybrid Approach for Secure Mobile Agent Computations.	MADNES	2005	DBLP DOI BibTeX RDF
13	Leonidas Galanis, David J. DeWitt	Scalable Distributed Aggregate Computations Through Collaboration.	DEXA	2005	DBLP DOI BibTeX RDF
13	Susan Hohenberger, Anna Lysyanskaya	How to Securely Outsource Cryptographic Computations.	TCC	2005	DBLP DOI BibTeX RDF
13	Vinod Muthusamy, Milenko Petrovic, Hans-Arno Jacobsen	Effects of routing computations in content-based routing networks with mobile data sources.	MobiCom	2005	DBLP DOI BibTeX RDF	routing, mobility, multicast, publish/subscribe
13	Gabriel Dimitriu	Adjoint Computations in Data Assimilation Problems Using a 4-Stage Rosenbrock Method.	LSSC	2005	DBLP DOI BibTeX RDF
13	Michinari Momma	Efficient computations via scalable sparse kernel partial least squares and boosted latent features.	KDD	2005	DBLP DOI BibTeX RDF	boosted latent features, scalable and sparse kernel method, partial least squares
13	Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch	A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing.	Euro-Par	2005	DBLP DOI BibTeX RDF
13	E. V. Krishnamurthy, Venu K. Murthy	Nature-Inspired Computations Using an Evolving Multi-set of Agents.	ICNC (2)	2005	DBLP DOI BibTeX RDF
13	Matteo Frigo, Volker Strumpen	Cache oblivious stencil computations.	ICS	2005	DBLP DOI BibTeX RDF
13	Nabil R. Nassif, Dolly Fayyad, Maria Cortas	Sliced-Time Computations with Re-scaling for Blowing-Up Solutions to Initial Value Differential Equations.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
13	J. A. Rod Blais, D. A. Provins, Muhammad Asif Soofi	Optimization of Spherical Harmonic Transform Computations.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
13	Adam Smyk, Marek Tudruj	Optimization of Parallel FDTD Computations Based on Structural Redeployment of Macro Data Flow Nodes.	PPAM	2005	DBLP DOI BibTeX RDF
13	Doug Szajda, Barry Lawson 0001, Jason Owen	Toward an Optimal Redundancy Strategy for Distributed Computations.	CLUSTER	2005	DBLP DOI BibTeX RDF
13	Ren-Cang Li	Near Optimality of Chebyshev Interpolation for Elementary Function Computations.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
13	Ulrik Brandes, Frank Schulz 0001, Dorothea Wagner, Thomas Willhalm	Generating node coordinates for shortest-path computations in transportation networks.	ACM J. Exp. Algorithmics	2004	DBLP DOI BibTeX RDF	shortest paths, Graph drawing, transportation networks, travel planning
13	Arash Reyhani-Masoleh, M. Anwar Hasan	Towards fault-tolerant cryptographic computations over finite fields.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	polynomial basis multiplier, security, fault-tolerant computing, finite fields, Error correction
13	Pavel Pech	Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
13	Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach	A Virtual Machine for Functional Logic Computations.	IFL	2004	DBLP DOI BibTeX RDF
13	Jerzy W. Jaromczyk, Zbigniew Lonc	Sequences of Radius k: How to Fetch Many Huge Objects into Small Memory for Pairwise Computations.	ISAAC	2004	DBLP DOI BibTeX RDF
13	Jacques M. Bahi, Stéphane Domas, Kamel Mazouzi	Jace: A Java Environment for Distributed Asynchronous Iterative Computations.	PDP	2004	DBLP DOI BibTeX RDF
13	Marek Tudruj, Lukasz Masko	Dynamic SMP Clusters with Communication on the Fly in NoC Technology for Very Fine Grain Computations.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Parallel System Architecture, Shared Memory Systems, Cluster Systems
13	Zahari Zlatev	Large-Scale Computations with the Unified Danish Eulerian Model.	PARA	2004	DBLP DOI BibTeX RDF
13	Alexander A. Razborov	Feasible Proofs and Computations: Partnership and Fusion.	LICS	2004	DBLP DOI BibTeX RDF
13	Alexander A. Razborov	Feasible Proofs and Computations: Partnership and Fusion.	ICALP	2004	DBLP DOI BibTeX RDF
13	Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura	A MATLAB-Based Code Generator for Sparse Matrix Computations.	APLAS	2004	DBLP DOI BibTeX RDF
13	Masaaki Kondo, Hiroshi Nakamura	Dynamic Processor Throttling for Power Efficient Computations.	PACS	2004	DBLP DOI BibTeX RDF
13	Martin Beaudry, José M. Fernandez 0001, Markus Holzer 0001	A Common Algebraic Description for Probabilistic and Quantum Computations (Extended Abstract).	MFCS	2004	DBLP DOI BibTeX RDF
13	J. Momot, K. Kosacki, Marek Grochowski, Piotr Uhruski, Robert Schaefer	Multi-Agent System for Irregular Parallel Genetic Computations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
13	Vassil N. Alexandrov, Ashish Thandavan, Péter Kacsuk	Using P-GRADE for Monte Carlo Computations in a Distributed Environment.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
13	Audrey Montreuil, Jacques Patarin	The Marriage Proposals Problem: Fair and Efficient Solution for Two-Party Computations.	INDOCRYPT	2004	DBLP DOI BibTeX RDF
13	Herng-Jer Lee, Chia-Chi Chu, Wu-Shiung Feng	Moment Computations of Nonuniform Distributed Coupled RLC Trees with Applications to Estimating Crosstalk Noise.	ISQED	2004	DBLP DOI BibTeX RDF
13	Peter Bürgisser, Felipe Cucker	Counting complexity classes for numeric computations II: algebraic and semialgebraic sets.	STOC	2004	DBLP DOI BibTeX RDF	counting complexity classes, geometric degree, semialgebraic sets, completeness, Betti numbers, Euler characteristic
13	Leonid Oliker, Andrew Canning, Jonathan Carter, John Shalf, Stéphane Ethier	Scientific Computations on Modern Parallel Vector Systems.	SC	2004	DBLP DOI BibTeX RDF
13	Juhani Karhumäki	Finite Sets of Words and Computing.	MCU	2004	DBLP DOI BibTeX RDF
13	Vladik Kreinovich, Luc Longpré, James J. Buckley	Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
13	Philip D. MacKenzie, Alina Oprea, Michael K. Reiter	Automatic generation of two-party computations.	CCS	2003	DBLP DOI BibTeX RDF	automatic generation of protocols, threshold cryptography, secure two-party computation
13	Satish Ravichandran, Vijayan K. Asari	Pre-computatio of Rotatio Bits in Unidirectional CORDIC for Trigonometric and Hyperbolic Computations.	ISVLSI	2003	DBLP DOI BibTeX RDF
13	Michael Mascagni, Yaohang Li	Computational Infrastructure for Parallel, Distributed, and Grid-Based Monte Carlo Computations.	LSSC	2003	DBLP DOI BibTeX RDF
13	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva	On Deterministic Computations in the Extended Andorra Model.	ICLP	2003	DBLP DOI BibTeX RDF	Extended Andorra Model, Logic Programming, Language Implementation
13	Maurice Margenstern, Yurii Rogozhin, Sergey Verlan	Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved.	DNA	2003	DBLP DOI BibTeX RDF
13	Christian Gagné 0001, Marc Parizeau, Marc Dubreuil	The Master-Slave Architecture for Evolutionary Computations Revisited.	GECCO	2003	DBLP DOI BibTeX RDF
13	Marius-Calin Silaghi	Arithmetic circuit for the first solution of distributed CSPs with cryptographic multi-party computations.	IAT	2003	DBLP DOI BibTeX RDF
13	J. A. Rod Blais, D. A. Provins	Optimization of Computations in Global Geopotential Field Applications.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Young Bae Jang, Jung Wan Cho	A Cluster-Based Router Architecture for Massive and Various Computations in Active Networks.	ICOIN	2003	DBLP DOI BibTeX RDF
13	Eric Cancès, Claude Le Bris, Yvon Maday, Gabriel Turinici	Towards Reduced Basis Approaches in ab initio Electronic Structure Computations.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	reduced basis, Hartree-Fock equations, ab initio chemistry, a posteriori numerical analysis, quantum chemistry
13	Masami Amano, Kazuo Iwama, Raymond H. Putra	Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations.	UMC	2002	DBLP DOI BibTeX RDF
13	Eric Goubault, Matthieu Martel, Sylvie Putot	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.	ESOP	2002	DBLP DOI BibTeX RDF
13	Matthieu Martel	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	ESOP	2002	DBLP DOI BibTeX RDF	IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
13	Manuel Arenaz, Juan Touriño, Ramon Doallo	Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations.	Euro-Par	2002	DBLP DOI BibTeX RDF
13	Maurice Margenstern, Yurii Rogozhin, Sergey Verlan	Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations.	DNA	2002	DBLP DOI BibTeX RDF
13	Ryo Takata, Kenji Kise, Hiroki Honda, Toshitsugu Yuba	DEM-1: A Particle Simulation Machine for Efficient Short-Range Interaction Computations.	IPDPS	2002	DBLP DOI BibTeX RDF	Embedded Atom Method, Parallel architectures, Molecular dynamics, Pipeline architectures, Particle simulation
13	Javier Carbo Rubiera, José M. Molina López, Jorge Dávila Muro	Privacy of Trust in Similarity Estimation through Secure Computations.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
13	Wojciech Walendziuk, Jaroslaw Forenc	Verification of Computations of a Parallel FDTD Algorithm.	PARELEC	2002	DBLP DOI BibTeX RDF
13	Wojciech Walendziuk	SAR and Thermal Computations with the Use of Parallel FDTD Algorithm.	PARELEC	2002	DBLP DOI BibTeX RDF
13	Manuel Arenaz, Juan Touriño, Ramon Doallo	Irregular Assignment Computations on cc-NUMA Multiprocessors.	ISHPC	2002	DBLP DOI BibTeX RDF
13	Marco Ratto, Andrea Saltelli	An Efficient Approach to Deal with the Curse of Dimensionality in Sensitivity Analysis Computations.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
13	Victor Y. Pan	Randomized Acceleration of Fundamental Matrix Computations.	STACS	2002	DBLP DOI BibTeX RDF	Matrix determinant, minimum polynomial, Smith invariant factors, Frobenius invariant factors, bit-operation complexity, block Wiedemann algorithm, randomized algorithms, characteristic polynomial
13	Young J. Kim, Miguel A. Otaduy, Ming C. Lin, Dinesh Manocha	Six-Degree-of-Freedom Haptic Display Using Localized Contact Computations.	Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems	2002	DBLP DOI BibTeX RDF	6-DOF haptic rendering, clustering, penetration depth, proximity query
13	Vijay K. Garg, Chakarat Skawratananond	Timestamping Messages in Synchronous Computations.	ICDCS	2002	DBLP DOI BibTeX RDF
13	Joakim Lindblad, Ingela Nyström	Surface Area Estimation of Digitized 3D Objects Using Local Computations.	DGCI	2002	DBLP DOI BibTeX RDF	accuracy, shape analysis, rotation invariance, marching cubes, isoperimetric inequality
13	James R. McCombs, Andreas Stathopoulos	Multigrain Parallelism for Eigenvalue Computations on Networks of Clusters.	HPDC	2002	DBLP DOI BibTeX RDF
13	Peter R. Cappello, Ömer Egecioglu	Automatic Processor Lower Bound Formulas for Array Computations.	ISPAN	2002	DBLP DOI BibTeX RDF	Array computation, Diophantine system, lower bound
13	Rafal Bogacz, Malcolm W. Brown, Christophe G. Giraud-Carrier	A Familiarity Discrimination Algorithm Inspired by Computations of the Perirhinal Cortex.	Emergent Neural Computational Architectures Based on Neuroscience	2001	DBLP DOI BibTeX RDF
13	Hirokazu Anai, Volker Weispfenning	Reach Set Computations Using Real Quantifier Elimination.	HSCC	2001	DBLP DOI BibTeX RDF
13	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
13	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder	Eliminating redundancies in sum-of-product array computations.	ICS	2001	DBLP DOI BibTeX RDF
13	Tomasz Olas, Konrad Karczewski, Adam Tomas, Roman Wyrzykowski	FEM Computations on Clusters Using Different Models of Parallel Programming.	PPAM	2001	DBLP DOI BibTeX RDF
13	Jaroslaw Zola, Roman Wyrzykowski	EPL-Julia the High-Performance Library for Evolutionary Computations.	PPAM	2001	DBLP DOI BibTeX RDF
13	Philippe Golle, Ilya Mironov	Uncheatable Distributed Computations.	CT-RSA	2001	DBLP DOI BibTeX RDF	Magic numbers, Ringers, Distributed computing
13	Claudio Zandron, Claudio Ferretti, Giancarlo Mauri	Two Normal Forms for Rewriting P Systems.	MCU	2001	DBLP DOI BibTeX RDF
13	Misha Koshelev	Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
13	Ying Zhao, Sharad Malik	Exact memory size estimation for array computations.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
13	Kumar N. Lalgudi, Marios C. Papaefthymiou, Miodrag Potkonjak	Optimizing computations for effective block-processing.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	computation dataflow graphs, scheduling, embedded systems, combinatorial optimization, high-level synthesis, vectorization, integer linear programming, retiming
13	Raimund Schröder, Werner E. Kluge	Organizing Speculative Computations in Functional Systems.	IFL	2000	DBLP DOI BibTeX RDF
13	Alain Darte, Claude G. Diderich, Marc Gengler, Frédéric Vivien	Scheduling the Computations of a Loop Nest with Respect to a Given Mapping.	Euro-Par	2000	DBLP DOI BibTeX RDF
13	Marco Danelutto	Task Farm Computations in Java.	HPCN	2000	DBLP DOI BibTeX RDF	Task farm, load balancing, cluster computing, skeletons
13	John S. McCaskill, Robert Penchovsky, Marlies Gohlke, Jörg Ackermann, Thomas Rücker	Steady Flow Micro-Reactor Module for Pipelined DNA Computations.	DNA Computing	2000	DBLP DOI BibTeX RDF
13	Vipin Kumar 0001, Kirk Schloegel, George Karypis	Graph Partitioning for Dynamic, Adaptive, and Multi-phase Computations.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
13	Navin Gupta, Eileen T. Kraemer, Delbert Hart, Maria Chinwala, David W. Miller	Exploratory Visualization of Distributed Computations: A Case Study.	PDSE	2000	DBLP DOI BibTeX RDF
13	Rumen Stainov, Joseph Dumont	Distributed Computations by Active Network Calls.	IWAN	2000	DBLP DOI BibTeX RDF
13	Ivelin Stoianov	Recurrent Autoassociative Networks and Holistic Computations.	IJCNN (5)	2000	DBLP DOI BibTeX RDF
13	Frank C. Hoppensteadt, Eugene M. Izhikevich	Neural Computations by Networks of Oscillators.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
13	Bill Triggs, David Nistér, Ken-ichi Kanatani, Jean Ponce, Zhengyou Zhang	Panel Session on Computations and Algorithms.	SMILE	2000	DBLP DOI BibTeX RDF
13	Bart De Decker, Frank Piessens, Erik Van Hoeymissen, Gregory Neven	Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations.	MATA	2000	DBLP DOI BibTeX RDF
13	Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.	CLUSTER	2000	DBLP DOI BibTeX RDF	Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility
13	Paula Prata, João Gabriel Silva	Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations.	FTCS	1999	DBLP DOI BibTeX RDF	ABFT, Error Detection, Fault injection, Result-checking, Matrix operations
13	Marian Bubak, Piotr Luszczek	Towards Portable Runtime Support for Irregular and Out-of-Core Computations.	PVM/MPI	1999	DBLP DOI BibTeX RDF
13	Ilya Lipkind, Igor Pechtchanski, Vijay Karamcheti	Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java, Java, views, distributed objects, collaborative applications, object representation, shared objects, object caching
13	Felipe Cucker	Real Computations with Fake Numbers.	ICALP	1999	DBLP DOI BibTeX RDF
13	Carlo Blundo, Clemente Galdi, Pino Persiano	Randomness Recycling in Constant-Round Private Computations (extended Abstract).	DISC	1999	DBLP DOI BibTeX RDF
13	Srinivas Aluru, Natsuhiko Futamura, Kishan Mehrotra	Parallel Biological Sequence Comparison Using Prefix Computations.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
13	Ken'ichi Morooka, Hongbin Zha, Tsutomu Hasegawa	Computations on a Spherical View Space for Efficient Planning of Viewpoints in 3-D Object Modeling.	3DIM	1999	DBLP DOI BibTeX RDF
13	Boris N. Khoromskij, Siegfried Prössdorf	Fast computations with the harmonic Poincaré-Steklov operators on nested refined meshes.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF
13	Hélène Kirchner, Pierre-Etienne Moreau	Non-deterministic Computations in ELAN.	WADT	1998	DBLP DOI BibTeX RDF