|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7720 occurrences of 3872 keywords
|
|
|
Results
Found 11986 publication records. Showing 11986 according to the selection in the facets
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 |
|
Displaying result #601 - #700 of 11986 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|