|
|
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 |
17 | Michelle Mills Strout, Larry Carter, Jeanne Ferrante |
Rescheduling for Locality in Sparse Matrix Computations. |
International Conference on Computational Science (1) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail P. Levin |
Quasi-Characteristics Scheme with Parallel Facilities for Computations of Two-Phase Flows in Heterogeneous Porous Media. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Marongiu, Paolo Palazzari, Vittorio Rosato |
Parallel dedicated hardware devices for heterogeneous computations. |
SC |
2001 |
DBLP DOI BibTeX RDF |
dedicated hardware device, low-autocorrelation binary sequences, systems of affine recurrence equations |
17 | U. Nagaraj Shenoy, Prithviraj Banerjee, Alok N. Choudhary, Mahmut T. Kandemir |
Efficient Synthesis of Array Intensive Computations onto FPGA Based Accelerators. |
VLSI Design |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Panagiota Fatourou |
Low-contention depth-first scheduling of parallel computations with write-once synchronization variables. |
SPAA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sally A. McKee, William A. Wulf, James H. Aylor, Robert H. Klenke, Maximo H. Salinas, Sung I. Hong, Dee A. B. Weikle |
Dynamic Access Ordering for Streamed Computations. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
Memory systems architecture, memory access ordering, memory access scheduling, memory bandwidth, memory latency |
17 | E. Christopher Lewis, Lawrence Snyder |
Pipelining Wavefront Computations: Experiences and Performance. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Yi Pan 0001, Si-Qing Zheng, Keqin Li 0001, Hong Shen 0001 |
Semigroup and Prefix Computations on Improved Generalized Mesh-Connected Computers with Multiple Buses. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
mesh-connected computer with multiple buses, parallel algorithm, parallel computing, parallel architecture, processor array, bus, mesh-connected computer |
17 | Norman Margolus |
An embedded DRAM architecture for large-scale spatial-lattice computations. |
ISCA |
2000 |
DBLP DOI BibTeX RDF |
lattice gas, cellular automata, PIM, virtual processor |
17 | Robert D. Blumofe, Charles E. Leiserson |
Scheduling Multithreaded Computations by Work Stealing. |
J. ACM |
1999 |
DBLP DOI BibTeX RDF |
critical-path length, multiprocessor, randomized algorithm, multithreading, work stealing, thread scheduling |
17 | Tao Yang 0009, Cong Fu 0002 |
Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
direct remote memory access, irregular parallelism, run-time support, DAG scheduling |
17 | Rafael Asenjo, Oscar G. Plata, Juan Touriño, Ramon Doallo, Emilio L. Zapata |
HPF-2 Support for Dynamic Sparse Computations. |
LCPC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Christian Wicke, Lubomir Bic, Michael B. Dillencourt, Munehiro Fukuda |
Automatic State Capture of Self-Migrating Computations in MESSENGERS. |
Mobile Agents |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Luc Moreau 0001, Christian Queinnec |
Distributed Computations Driven by Resource Consumption. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ishwar Parulkar, Sandeep K. Gupta 0001, Melvin A. Breuer |
Introducing Redundant Computations in a Behavior for Reducing BIST Resources. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Markus Holzer 0001 |
Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | François Llirbat, Françoise Fabret, Eric Simon |
Eliminating Costly Redundant Computations from SQL Trigger Executions. |
SIGMOD Conference |
1997 |
DBLP DOI BibTeX RDF |
SQL |
17 | Delbert Hart, Eileen T. Kraemer |
Interactive Visual Exploration of Distributed Computations. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Yongwha Chung |
An Algorithmic Framework for Parallelizing Vision Computations on Distributed-Memory Machines. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary |
Improving the Performance of Out-of-Core Computations. |
ICPP |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Álvaro Suárez Sarmiento, Carmen N. Ojeda-Guerra |
Overlapping Computations and Communications in Torus Networks. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Sally A. McKee, William A. Wulf, Trevor C. Landon |
Bounds on Memory Bandwidth in Streamed Computations. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
17 | David G. Von Bank, Charles M. Shub, Robert W. Sebesta |
A Unified Model of Pointwise Equivalence of Procedural Computations. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dynamic migration, heterogeneous migration |
17 | Arnold Schönhage, Ekkehart Vetter |
A New Approach to Resultant Computations and Other Algorithms with Exact Division. |
ESA |
1994 |
DBLP DOI BibTeX RDF |
|
17 | David Nassimi |
Parallel Algorithms for the Classes of +or-2b DESCEND and ASCEND Computations on a SIMD Hypercube. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
2/sup b/ permutation, SIMD hypercube, routing steps, full-duplex routing, parallelcomputations, +or-2/sup b/ ascend, +or-2/sup b/ descend, cyclicshift, odd-even merge, PM2I interconnection, parallel algorithms, computational complexity, hypercube networks, efficient algorithm, parallel prefix |
17 | Wolfgang Thomas, Helmut Lescow |
Logical Specifications of Infinite Computations. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games |
17 | Roberto Giacobazzi, Laura Ricci |
Detecting Determinate Computations by Bottom-up Abstract Interpretation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Chandrajit L. Bajaj |
Geometric Computations with Algebraic Varieties of Bounded Degree. |
SCG |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Akhilesh Tyagi, John H. Reif |
Energy complexity of optical computations. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Dario Bini, Victor Y. Pan |
Parallel Polynomial Computations by Recursive Processes. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Nikos Chrisochoides, Catherine E. Houstis, Elias N. Houstis, S. K. Kortesis, John R. Rice |
Automatic load balanced paritioning strategies for PDE computations. |
ICS |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Bernadette Charron-Bost |
Measure of Parallelism of Distributed Computations. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Jozef Gruska |
Systolic Architectures, Systems and Computations. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Hugh C. Lauer |
Long computations. |
ACM SIGOPS European Workshop |
1988 |
DBLP DOI BibTeX RDF |
|
17 | T. E. Tezduyar, Roland Glowinski, J. Liou, Tung Nguyen, Steve Poole 0001 |
Block-iterative finite element computations for incompressible flow problems. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Shaji Bhaskar, Gael N. Buckley |
Computations in Undistinguished Networks. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Bauer 0001 |
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
17 | M. A. Nait Abdallah |
On the Interpretation of Infinite Computations in Logic Programming. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro |
Designing Mechanisms for Reliable Internet-based Computing. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Distributed Computing, Game Theory, Mechanism Design, Internet-based Computing, Trustworthy Computations |
16 | Valery G. Yakhno, Meltem Altunkaynak |
Symbolic Computation of an Exact Solution of the Cauchy Problem for the System of Crystal Optics with Polynomial Data. |
NAA |
2008 |
DBLP DOI BibTeX RDF |
system of crystal optics, symbolic computations, Analytical method, initial value problem, polynomial solutions |
16 | Ling Zhuo, Viktor K. Prasanna |
Scalable and Modular Algorithms for Floating-Point Matrix Multiplication on Reconfigurable Computing Systems. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
computations on matrices, field-programmable gate arrays, parallel algorithms, Scientific computing, reconfigurable hardware |
16 | Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah 0001, Mohamed Jmaiel |
A Distributed Computational Model for Mobile Agents. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
distributed algorithms, mobile agent, computations model, transition systems |
16 | Przemyslaw Baranowski, Dariusz Ucinski |
A Parallel Sensor Selection Technique for Identification of Distributed Parameter Systems Subject to Correlated Observations. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
parallel computations, parameter estimation, GRASP, Distributed parameter systems |
16 | Maciej Paszynski, Anna Paszynska |
Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity |
16 | Konstantinos Chalkias, Dimitrios Hristu-Varsakelis, George Stephanides |
Improved Anonymous Timed-Release Encryption. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
pre-computations, multiple receivers, bilinear pairings, timed-release encryption |
16 | Brahim Hamid, Mohamed Mosbah 0001 |
A Formal Model for Fault-Tolerance in Distributed Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems |
16 | Sinésio Pesco, Peter Lindstrom 0001, Valerio Pascucci, Cláudio T. Silva |
Implicit Occluders. |
VolVis |
2004 |
DBLP DOI BibTeX RDF |
visibility computations, graphics hardware algorithms, computational geometry, volume visualization, isosurfaces, marching cubes, occlusion culling |
16 | Marian Bubak, Kamil Górka, Tomasz Gubala, Maciej Malawski, Katarzyna Zajac 0001 |
Component-Based System for Grid Application Workflow Composition. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
Grid computations, OGSA, CCA, workflow composition |
16 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. |
FME |
2003 |
DBLP DOI BibTeX RDF |
team automata, synchronizations, computations, compositionality, behaviour, shuffles |
16 | Sebastian Gerlach, Roger D. Hersch |
DPS - Dynamic Parallel Schedules. |
HIPS |
2003 |
DBLP DOI BibTeX RDF |
split-merge constructs, overlapping of computations and communications, Parallel computation, flow graphs, parallel schedules |
16 | Alexander Kleymenov, Alexander Semenov |
Using a Cooperative Solving Approach to Global Optimization Problems. |
COCOS |
2003 |
DBLP DOI BibTeX RDF |
cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations |
16 | Marian Bubak, Kamil Górka, Tomasz Gubala, Maciej Malawski, Katarzyna Zajac 0001 |
Automatic Flow Building for Component Grid Applications. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
Grid computations, OGSA, CCA, workflow composition |
16 | Amy L. Murphy, Gruia-Catalin Roman, George Varghese |
Tracking Mobile Units for Dependable Message Delivery. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
mobile computing, diffusing computations, message delivery |
16 | Det Buaklee, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright 0001 |
Near-optimal adaptive control of a large grid application. |
ICS |
2002 |
DBLP DOI BibTeX RDF |
parallel application performance, parallel algorithms, grid computing, stochastic optimization, adaptive computations |
16 | Andrew Hunter |
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation |
16 | Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki |
Inductive Synthesis of Functional Programs. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding |
16 | Hee Yong Youn, Choong Gun Oh, Hyunseung Choo, Jin-Wook Chung, Dongman Lee |
An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Hamming correcting code, VLSI processor array, Algorithm-based fault tolerance, overflow, matrix computations, round-off error |
16 | Satyam Tyagi, Paul Tarau, Armin R. Mikler |
Multicast Protocols for Jinni Agents. |
IICS |
2001 |
DBLP DOI BibTeX RDF |
Blackboard based Coordination, Networking Software Infrastructure, Java3D based Shared Virtual Reality, IP Transparent Communication, Mobile Computations, Multicast, Logic Programming, Intelligent Mobile Agents |
16 | R. Baker Kearfott, G. William Walster |
On stopping criteria in verified nonlinear systems or optimization algorithms. |
ACM Trans. Math. Softw. |
2000 |
DBLP DOI BibTeX RDF |
GlobSol, verified computations, stopping criteria |
16 | Ming-Der Shieh, Hsin-Fu Lo, Ming-Hwa Sheu |
High-speed generation of LFSR signatures. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
high-speed generation, LFSR signatures, compaction simulation, single-input signature register, equivalent multiple-input implementation, finite field theory, high-speed signature computations, lookahead technique, internal-XOR LFSR, external-XOR LFSR, performance evaluation, logic testing, built-in self test, integrated circuit testing, automatic test pattern generation, BIST, linear feedback shift register, binary sequences, subsequences |
16 | Janusz R. Getta |
Query Scrambling in Distributed Multidatabase Systems. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
query scrambling, distributed multidatabase systems, data integration algorithm, extended reduction technique, query processing, wide-area networks, dynamic optimization, concurrent computations, efficient query processing |
16 | Jérôme Galtier, Stéphane Lanteri |
On Overlapping Partitions. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
Parallel CFD computations, Overlapping domain decomposition, Load-balancing, Numerical software, Mesh partitioning |
16 | Paul Tarau, Verónica Dahl |
Towards a Logic Programming Infrastructure for Internet Programming. |
Artificial Intelligence Today |
1999 |
DBLP DOI BibTeX RDF |
Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents |
16 | Carl K. Chang, Yi-Te Tseng, Ugo A. Buy |
Compiling process algebraic specifications into timed automata. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems |
16 | John Krumm |
Object detection with vector quantized binary features. |
CVPR |
1997 |
DBLP DOI BibTeX RDF |
vector quantized binary features, representational efficiency, eigenimage methods, square subtemplates, background clutter, real-valued eigenvector principle components, binary vector quantization, geometric hash table, computer vision, computer vision, object detection, Hough transform, receiver operating characteristic, partial occlusions, floating point computations, illumination changes |
16 | John R. Pilkington, Scott B. Baden |
Dynamic Partitioning of Non-Uniform Structured Workloads with Spacefilling Curves. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
spacefilling curve, non-uniform computations, irregular data partitioning, performance, Dynamic load balancing, distributed memory parallel computers, particle methods |
16 | Cheng-Zhong Xu 0001, Francis C. M. Lau 0001 |
Efficient Termination Detection for Loosely Synchronous Applications in Multicomputers. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
synchronous computations, distributed algorithms, interconnection networks, multicomputers, Data parallelism, termination detection, parallel and distributed systems |
16 | George A. Papadopoulos, Farhad Arbab |
Coordination of Systems with Real-Time Properties in Manifold. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
real-time system coordination, asynchronous timed computations, real-time coordination, MANIFOLD coordination language, bounded response time, timed asynchronous computational models, concurrent constraint languages, complex software system building, complex hardware system building, distributed multimedia application development, real-time systems, timing, software reusability, reusability, parallel languages, multimedia computing, coordination models |
16 | Mounir Hamdi, Yi Pan 0001 |
Communication-efficient algorithms on reconfigurable array of processors with spanning optical buses. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
reconfigurable array of processors, spanning optical buses, optical signal transmissions, RASOB, semi-group computations, parallel algorithms, parallel architectures, reconfiguration, reconfigurable architectures, optical interconnections, Gaussian eliminations |
16 | Michele Di Santo, Franco Frattolillo, Giulio Iannello |
Experiences in dynamic placement of actors on multicomputer systems. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
dynamic actor placement, multicomputer architectures, highly dynamic computations, ASK run-time kernel, parallel actor programming, random allocation algorithm, Adaptive Contracting Within Neighbourhood, ACWN, balancer behavior, parallel programming, object-oriented programming, resource allocation, parallel machines, distributed memory systems, dynamic load balancer, operating system kernels, low cost, multicomputer systems, programming tools, transputer network |
16 | Duncan J. Batey, Julian A. Padget |
Coordinating heterogeneous parallelism. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous parallelism coordination, client-server based programming environment, massively parallel symbolic computing, programming environments, client-server systems, network operating systems, symbol manipulation, distributed parallel computations |
16 | Michael J. Schulte, Earl E. Swartzlander Jr. |
Hardware Design and Arithmetic Algorithms for a Variable-Precision, Interval Arithmetic Coprocessor. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
arithmetic algorithms, computer arithmetic, hardware, Interval arithmetic, precision, coprocessor, numerical computations |
16 | Lawrence Rauchwerger, David A. Padua |
Parallelizing while loops for multiprocessor systems. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
parallelizing while loops, do loops, conditional exits, sequential constructs, data dependence relations, sparse matrix packages, multiprocessing systems, multiprocessor systems, program compilers, parallelizing compilers, parallelising compilers, linked lists, iteration space, sparse matrix computations |
16 | Abdel-Fattah Yousif, Jun Gu |
Concurrent automatic test pattern generation algorithm for combinational circuits. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
concurrent automatic test pattern generation algorithm, global computations techniques, concurrent search, ISCAS'85, ISCAS'89 benchmarks, computational complexity, logic testing, NP-hard, combinational circuits, combinational circuits, automatic testing |
16 | Robert Hood, Doreen Cheng |
Accommodating heterogeneity in a debugger-a client-server approach. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
client portability, debugger core, client-server protocol, heterogeneous debugging, user interfaces, user interface, distributed computations, specification, program debugging, client-server systems, investment, investment |
16 | B. Bayerdorffer |
Broadcast Time Warp. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation |
16 | Michael J. Schulte, Earl E. Swartzlander Jr. |
A Processor for Staggered Interval Arithmetic. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
computer arithmetic, hardware, processor, Interval arithmetic, precision, application specific, numerical computations |
16 | Arash Baratloo, Partha Dasgupta, Zvi M. Kedem |
CALYPSO: A Novel Software System for Fault-Tolerant Parallel Processing on Distributed Platforms. |
HPDC |
1995 |
DBLP DOI BibTeX RDF |
CALYPSO, fault-tolerant parallel processing, distributed platforms, multiuser networks, prototype software system, COTS networked workstations operating systems, shared memory constructs, coarse-grained computations, process failures, parallel processing, parallel programming, parallel programs, compilers, fault tolerant computing, program compilers, dynamic load balancing, network operating systems, software system, resource availability |
16 | George Karypis, Vipin Kumar 0001 |
Unstructured Tree Search on SIMD Parallel Computers. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
unstructured tree search, SIMD parallelcomputers, unstructured tree computations, large-scale SIMD machines, triggering mechanism, search spaceredistribution, load-balancing methods, load-balancing schemes, 15-puzzle problem, CM-2 SIMD parallel computer, performance evaluation, scalability, load balancing, resource allocation, parallel machines, trees (mathematics), search problems, tree search, SIMD machine, MIMD architectures, parallelarchitectures |
16 | Abdou Youssef |
A Parallel Algorithm for Random Walk Construction with Application to the Monte Carlo Solution of Partial Differential Equations. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
random walk construction, Monte Carlo solution, irregular boundaries, randomly selected direction, parallel prefix computations, parallel algorithm, parallel algorithms, hypercube, hypercube networks, partial differential equations, partial differential equations, Monte Carlo methods, discontinuities, communication structure |
16 | Yannis E. Ioannidis, Raghu Ramakrishnan 0001, Linda Winger |
Transitive Closure Algorithms Based on Graph Traversal. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
node reachability, transitive closure, depth-first search, path computations |
16 | Mohan L. Chaudhry, U. C. Gupta 0001, Manju Agarwal |
Exact and approximate numerical solutions to steady-state single-server queues: M/G/1 - a unified approach. |
Queueing Syst. Theory Appl. |
1992 |
DBLP DOI BibTeX RDF |
approximations, Computations, queueing, roots |
15 | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
Quality of service profiling. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
loop perforation, quality of service, profiling |
15 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yoram Moses |
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge |
15 | Hai Liu 0012, Eric Cheng, Paul Hudak |
Causal commutative arrows and their optimization. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language |
15 | Naohiro Ishii, Takahiro Yamada, Yongguang Bao |
Text Classification by Relearning and Ensemble Computation. |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing |
2008 |
DBLP DOI BibTeX RDF |
Relearning, Ensemble Computation, Text Classification, kNN |
15 | Frithjof Blomquist, Werner Hofschuster, Walter Krämer |
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30 |
15 | Sangsoo Sung, Seokkyung Chung, Dennis McLeod |
Efficient concept clustering for ontology learning using an event life cycle on the web. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
concept clustering, similarity measures, ontology learning |
15 | Gerhard Navratil, Farid Karimipour, Andrew U. Frank |
Lifting Imprecise Values. |
AGILE Conf. |
2008 |
DBLP DOI BibTeX RDF |
imprecise values, error propagation, lifting |
15 | Naohiro Ishii, Takahiro Yamada, Yongguang Bao |
Improved Accuracy by Relearning and Combining Distance Functions. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
distance functions for classification, relearning, ensemble computation, text classification |
15 | Naohiro Ishii, Takahiro Yamada, Yongguang Bao, Hidekazu Tanaka |
Rough Set Based Learning for Classification. |
ICTAI (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Milind Kulkarni 0001, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew |
Optimistic parallelism benefits from data partitioning. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs |
15 | Radhika Gowaikar, Babak Hassibi |
Statistical Pruning for Near-Maximum Likelihood Decoding. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes |
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
channel locality, distributed languages, higher-order channels, parallel languages |
15 | Rasul Mohammadi, Shahin Hashtrudi-Zad |
A recursive algorithm for diagnosis in hierarchical finite-state machines. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alain Girault, Xavier Nicollin, Marc Pouzet |
Automatic rate desynchronization of embedded reactive programs. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution |
15 | Ebaa Fayyoumi, B. John Oommen |
On Optimizing the k-Ward Micro-aggregation Technique for Secure Statistical Databases. |
ACISP |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 11986 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|