|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 137-148, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 526-534, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Marongiu, Paolo Palazzari, Vittorio Rosato |
Parallel dedicated hardware devices for heterogeneous computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 29, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 305-310, 2001, IEEE Computer Society, 0-7695-0831-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Panagiota Fatourou |
Low-contention depth-first scheduling of parallel computations with write-once synchronization variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2001, Heraklion, Crete Island, Greece, July 4-6, 2001, pp. 189-198, 2001, ACM, 1-58113-409-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(11), pp. 1255-1271, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 261-268, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 251-256, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 27th International Symposium on Computer Architecture (ISCA 2000), June 10-14, 2000, Vancouver, BC, Canada, pp. 149-160, 2000, IEEE Computer Society, 978-1-58113-232-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(5), pp. 720-748, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(6), pp. 1195-1222, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings, pp. 230-246, 1998, Springer, 3-540-66426-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Christian Wicke, Lubomir Bic, Michael B. Dillencourt, Munehiro Fukuda |
Automatic State Capture of Self-Migrating Computations in MESSENGERS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents ![In: Mobile Agents, Second International Workshop, MA'98, Stuttgart, Germany, September 1998, Proceedings, pp. 68-79, 1998, Springer, 3-540-64959-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Luc Moreau 0001, Christian Queinnec |
Distributed Computations Driven by Resource Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 68-79, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 548-553, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Markus Holzer 0001 |
Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 299-308, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | François Llirbat, Françoise Fabret, Eric Simon |
Eliminating Costly Redundant Computations from SQL Trigger Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1997, Proceedings ACM SIGMOD International Conference on Management of Data, May 13-15, 1997, Tucson, Arizona, USA., pp. 428-439, 1997, ACM Press, 978-0-89791-911-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SQL |
17 | Delbert Hart, Eileen T. Kraemer |
Interactive Visual Exploration of Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 121-127, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Yongwha Chung |
An Algorithmic Framework for Parallelizing Vision Computations on Distributed-Memory Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 160-165, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary |
Improving the Performance of Out-of-Core Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1997 International Conference on Parallel Processing (ICPP '97), August 11-15, 1997, Bloomington, IL, USA, Proceedings, pp. 128-136, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Álvaro Suárez Sarmiento, Carmen N. Ojeda-Guerra |
Overlapping Computations and Communications in Torus Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 162-169, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Sally A. McKee, William A. Wulf, Trevor C. Landon |
Bounds on Memory Bandwidth in Streamed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 83-99, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(6), pp. 1842-1874, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings, pp. 448-459, 1994, Springer, 3-540-58434-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | David Nassimi |
Parallel Algorithms for the Classes of +or-2b DESCEND and ASCEND Computations on a SIMD Hypercube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(12), pp. 1372-1381, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 583-621, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 167-181, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 185-222, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Chandrajit L. Bajaj |
Geometric Computations with Algebraic Varieties of Bounded Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Sixth Annual Symposium on Computational Geometry, Berkeley, CA, USA, June 6-8, 1990, pp. 148-156, 1990, ACM, 0-89791-362-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Akhilesh Tyagi, John H. Reif |
Energy complexity of optical computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 14-21, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Dario Bini, Victor Y. Pan |
Parallel Polynomial Computations by Recursive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 294, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 3rd international conference on Supercomputing, ICS 1989, Heraklion, Crete, Greece, June 5-9, 1989, pp. 99-107, 1989, ACM, 0-89791-309-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Bernadette Charron-Bost |
Measure of Parallelism of Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings, pp. 434-445, 1989, Springer, 3-540-50840-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Jozef Gruska |
Systolic Architectures, Systems and Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 254-270, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Hugh C. Lauer |
Long computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, UK, September 18-21, 1988, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 284-294, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Shaji Bhaskar, Gael N. Buckley |
Computations in Undistinguished Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 124-137, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Bauer 0001 |
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 32(2), pp. 249-279, April 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | M. A. Nait Abdallah |
On the Interpretation of Infinite Computations in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, pp. 358-370, 1984, Springer, 3-540-13345-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro |
Designing Mechanisms for Reliable Internet-based Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, NCA 2008, July 10-12, 2008, Cambridge, Massachusetts, USA, pp. 315-324, 2008, IEEE Computer Society, 978-0-7695-3192-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers, pp. 596-603, 2008, Springer, 978-3-642-00463-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(4), pp. 433-448, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers, pp. 416-421, 2007, Springer, 978-3-642-01638-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 469-478, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1313-1322, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, pp. 311-326, 2007, Springer, 978-3-540-74834-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 108-121, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VolVis ![In: 2004 IEEE Symposium on Volume Visualization and Graphics, VolVis 2004, Austin, TX, USA, October 10-12, 2004, pp. 47-54, 2004, IEEE Computer Society, 0-7803-8781-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings, pp. 611-618, 2003, Springer, 3-540-20149-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Grid computations, OGSA, CCA, workflow composition |
16 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 381-400, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
team automata, synchronizations, computations, compositionality, behaviour, shuffles |
16 | Sebastian Gerlach, Roger D. Hersch |
DPS - Dynamic Parallel Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIPS ![In: Eighth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'03), April 22-22, 2003, Nice, France, pp. 15-24, 2003, IEEE Computer Society, 0-7695-1880-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers, pp. 86-100, 2003, Springer, 3-540-26003-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 804-811, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(5), pp. 433-448, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002, pp. 315-326, 2002, ACM, 1-58113-483-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 117-127, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 26-37, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(4), pp. 371-383, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICS ![In: Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings, pp. 1-18, 2001, Springer, 3-540-42275-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 26(3), pp. 373-389, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 222-, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 647-652, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 461-468, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Today ![In: Artificial Intelligence Today: Recent Trends and Developments, pp. 431-457, 1999, Springer, 3-540-66428-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 338-343, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 179-185, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(3), pp. 288-300, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(5), pp. 537-544, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 50-55, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 440-446, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 130-137, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 339-347, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 222-229, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 347-356, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 286-291, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 252-253, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 602-611, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: The International Conference on Application Specific Array Processors (ASAP'95), July 24-26, 1995, Strasbourg, France, pp. 104-112, 1995, IEEE Computer Society, 0-8186-7109-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 122-129, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(10), pp. 1057-1072, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 355-360, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(3), pp. 512-576, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(4), pp. 351-379, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
approximations, Computations, queueing, roots |
15 | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
Quality of service profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 25-34, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
loop perforation, quality of service, profiling |
15 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 99-112, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yoram Moses |
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 436-448, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 35-46, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ![In: Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 217-226, 2008, Springer, 978-3-540-70559-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 41-67, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2310-2314, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concept clustering, similarity measures, ontology learning |
15 | Gerhard Navratil, Farid Karimipour, Andrew U. Frank |
Lifting Imprecise Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE Conf. ![In: The European Information Society: Taking Geoinformation Science One Step Further, Proceedings of the 11th AGILE Conference, Girona, Spain, 5-8 May, 2008, pp. 79-94, 2008, Springer, 978-3-540-78945-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 926-933, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 97-104, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 233-243, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(6-1), pp. 2661-2675, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 444-445, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 191-202, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1345-1350, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alain Girault, Xavier Nicollin, Marc Pouzet |
Automatic rate desynchronization of embedded reactive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(3), pp. 687-717, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings, pp. 324-335, 2006, Springer, 3-540-35458-1. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|