Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
116 | K. Ashwin Kumar, Aasish Kumar Pappu, K. Sarath Kumar, Sudip Sanyal |
Hybrid Approach for Parallelization of Sequential Code with Function Level and Block Level Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 161-166, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Block level parallelization, Function level parallelization, Instruction level parallelization, Automatic parallelization, Loop level parallelization |
64 | David Taniar, J. Wenny Rahayu |
Parallelization and Object-Orientation: A Database Processing Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (24) ![In: TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China, pp. 244-253, 1997, IEEE Computer Society, 0-8186-8551-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Object-Oriented Query Processing, Inter-Object Parallelization and Inter-Class Parallelization, Object-Oriented Databases, Parallel Query Processing |
64 | Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng |
Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 185-192, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness |
60 | Iffat H. Kazi, David J. Lilja |
Coarse-Grained Thread Pipelining: A Speculative Parallel Execution Model for Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(9), pp. 952-966, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Runtime parallelization, thread pipelining, superthreaded architecture, shared-memory multiprocessors, speculative execution, coarse-grained parallelization |
59 | S. Peigin, Boris Epstein 0002 |
Embedded Parallelization Approach for Optimization in Aerodynamic Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 29(3), pp. 243-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded parallelization, aerodynamic design, otimization, genetic algorithms, CFD |
53 | Baoqiang Yan, Philip J. Rhodes |
I/O friendly data parallelization for spatial computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mardi Gras Conference ![In: Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities, Baton Rouge, Louisiana, USA, January 29 - February 3, 2008, pp. 34, 2008, ACM, 978-1-59593-835-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Sungdo Moon, Byoungro So, Mary W. Hall, Brian R. Murphy |
A Case for Combining Compile-Time and Run-Time Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers, pp. 91-106, 1998, Springer, 3-540-65172-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Wenlong Li, Xiaofeng Tong, Tao Wang 0003, Yimin Zhang 0002, Yen-Kuang Chen |
Parallelization Strategies and Performance Analysis of Media Mining Applications on Multi-Core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 57(2), pp. 213-228, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Media mining, Performance analysis, Parallelization, Multi-core processor |
53 | Hidemasa Muta, Munehiro Doi, Hiroki Nakano, Yumi Mori |
Multilevel parallelization on the cell/B.E. for a motion JPEG 2000 encoding server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 15th International Conference on Multimedia 2007, Augsburg, Germany, September 24-29, 2007, pp. 942-951, 2007, ACM, 978-1-59593-702-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
motion JPEG 2000, parallelization, cell broadband engine |
53 | Marc Moreno Maza, Yuzhen Xie |
Component-level parallelization of triangular decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 69-77, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
component-level, parallelization, triangular decompositions, polynomial system solving |
52 | Dieter an Mey, Samuel Sarholz, Christian Terboven |
Nested Parallelization with OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 35(5), pp. 459-476, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OpenMP, Nested parallelization, Shared memory parallelization, ccNUMA |
52 | James C. Greer |
Parallelization Model for Successive Approximations to the Rayleigh-Ritz Linear Variational Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(10), pp. 938-946, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Rayleigh-Ritz variational principle, two-tiered parallelization, Eigenvalue problems, parallelization efficiency, Amdahl's law |
48 | Guillaume Chaslot, Mark H. M. Winands, H. Jaap van den Herik |
Parallel Monte-Carlo Tree Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings, pp. 60-71, 2008, Springer, 978-3-540-87607-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Siegfried Benkner, Thomas Brandes |
High-Level Data Mapping for Clusters of SMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIPS ![In: High-Level Parallel Programming Models and Supportive Environments, 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings, pp. 1-15, 2001, Springer, 3-540-41944-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Parallel programming, parallelization, MPI, OpenMP, HPF, SMP clusters, hybrid parallelism |
47 | Christoph W. Keßler |
Knowledge-Based Automatic Parallelization by Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 110-135, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Anne Dierstein, Roman Hayer, Thomas Rauber |
Automatic Parallelization for Distributed Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 192-217, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Robert Chun, Brad Perry, Steve Birminghan |
ESCAPE: Expert System Compilation and Parallelization Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 354, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
47 | Brian Armstrong, Rudolf Eigenmann |
Application of Automatic Parallelization to Modern Challenges of Scientific Computing Industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 2008 International Conference on Parallel Processing, ICPP 2008, September 8-12, 2008, Portland, Oregon, USA, pp. 279-286, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Simona Rabinovici-Cohen, Ouri Wolfson |
Why a Single Parallelization Strategy in not Enough in Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 200-216, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
47 | Ruoming Jin, Ge Yang 0001, Gagan Agrawal |
Shared Memory Parallelization of Data Mining Algorithms: Techniques, Programming Interface, and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(1), pp. 71-89, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
decision tree construction, clustering, association mining, Shared memory parallelization, programming interfaces |
46 | Rudolf Eigenmann, Jay P. Hoeflinger, David A. Padua |
On the Automatic Parallelization of the Perfect Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(1), pp. 5-23, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parallelization techniques, performance evaluation, Program parallelization, restructuring compilers |
46 | Xuemin Lin 0001, Simon Fox |
An effective parallelization of execution of multijoins in multiprocessor systems. ![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. 63-69, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling |
46 | Toshio Nakatani, Kemal Ebcioglu |
Making Compaction-Based Parallelization Affordable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(9), pp. 1014-1029, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
compaction-based parallelization, code explosion problem, software lookahead heuristic, VLIW parallelizing compiler, branch-intensive code, AIX utilities, fgrep, sed, parallel programming, parallel architectures, compress, program, sort, instruction-level parallelism, software pipelining, pipeline processing, instruction sets, loop parallelization, yacc |
42 | Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August |
Parallel-stage decoupled software pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 114-123, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
doall, dswp, tlp, automatic parallelization, multi-core architectures, pipelined parallelism |
42 | Christoph von Praun, Luis Ceze, Calin Cascaval |
Implicit parallelism with ordered transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 79-89, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ordered transactions, parallel programming, transactional memory, thread-level speculation, program parallelization, implicit parallelism |
42 | Andreas Gerndt, Mark Asbach, Torsten W. Kuhlen, Christian H. Bischof, Stefan Lankes, Thomas Bemmerl |
Conceptual design and implementation of a pipeline-based VR-system parallelized by CORBA, and comparison with existing approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings VRCAI 2004, ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry, Nanyang Technological University, Singapore, June 16-18, 2004, pp. 368-374, 2004, ACM, 1-58113-884-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
visualization pipeline, virtual reality, parallelization, MPI, CORBA, CORBA |
41 | Rajesh Bordawekar, Lipyeow Lim, Anastasios Kementsietsidis, Bryant Wei-Lun Kok |
Statistics-based parallelization of XPath queries in shared memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings, pp. 159-170, 2010, ACM, 978-1-60558-945-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung |
Combining Data Reuse With Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(3), pp. 305-315, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Ge Gan, Xu Wang, Joseph B. Manzano, Guang R. Gao |
Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Evolving OpenMP in an Age of Extreme Parallelism, 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009, Proceedings, pp. 140-153, 2009, Springer, 978-3-642-02284-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Silvius Vasile Rus, Maikel Pennings, Lawrence Rauchwerger |
Implementation of Sensitivity Analysis for Automatic Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers, pp. 316-330, 2008, Springer, 978-3-540-89739-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Lei Ji, Hugh Nymeyer, Ashok Srinivasan, Yanan Yu |
Data-Driven Time-Parallelization in the AFM Simulation of Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Ozcan Ozturk 0001, Guilin Chen, Mahmut T. Kandemir |
Optimizing code parallelization through a constraint network based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 863-688, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compiler, constraint network, chip multiprocessing |
41 | Jialin Dou, Marcelo H. Cintra |
Compiler Estimation of Load Imbalance Overhead in Speculative Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September - 3 October 2004, Antibes Juan-les-Pins, France, pp. 203-214, 2004, IEEE Computer Society, 0-7695-2229-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Simanta Mitra, Suresh C. Kothari, Jaekyu Cho, A. Krishnaswarmy |
ParAgent: A Domain-Specific Semi-automatic Parallelization Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings, pp. 141-148, 2000, Springer, 3-540-41429-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Stefan Andel, Beniamino Di Martino, Jan Hulman, Hans P. Zima |
Program Comprehension Support for Knowledge-Based Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 455-461, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang 0005, Tzu-Han Hung, David I. August |
Decoupled software pipelining creates parallelization opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 121-130, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
DSWP, enabling transformation, parallelization, multicore, speculation |
41 | Tao Liu, Zhenzhou Ji, Qing Wang, Dali Xiao, Shuyan Zhang |
Research on Evaluation of Parallelization on an Embedded Multicore Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009, Proceedings, pp. 330-340, 2009, Springer, 978-3-642-03643-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FPGA, parallelization, embedded, multicore processor |
41 | Georgios Tournavitis, Zheng Wang 0001, Björn Franke, Michael F. P. O'Boyle |
Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 177-187, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
auto-parallelization, machine-learning based parallelism mapping, profile-driven parallelism detection, openmp |
41 | Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun |
Exploring parallelization strategies for NUFFT data translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 187-196, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
geometric tiling, non-uniform fft, parallelization, gridding, code generation |
41 | Farhana Aleen, Nathan Clark |
Commutativity analysis for software parallelization: letting program transformations see the big picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 241-252, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automatic software parallelization, commutative functions, random interpretation |
41 | Hannes Schabauer, Ronald Hochreiter, Georg Ch. Pflug |
Parallelization of Pricing Path-Dependent Financial Instruments on Bounded Trinomial Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II, pp. 408-415, 2008, Springer, 978-3-540-69386-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bounded lattice, parallelization, cluster computing, pricing, computational finance |
41 | Baoqiang Yan, Philip J. Rhodes |
Toward automatic parallelization of spatial computation for computing clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 23-27 June 2008, Boston, MA, USA, pp. 45-54, 2008, ACM, 978-1-59593-997-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
i/o optimization, caching, locality, dependency, cluster computing, data parallelization, spatial data, access pattern |
41 | Maciej Paszynski |
Agents Based Hierarchical Parallelization of Complex Algorithms on the Example of hp Finite Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 912-919, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Finite Element Method, Computational agents, hp adaptivity, Hierarchical parallelization |
41 | Marcelo H. Cintra, Diego R. Llanos Ferraris |
Design Space Exploration of a Software Speculative Parallelization Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(6), pp. 562-576, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallel architectures, thread-level speculation, Speculative parallelization |
41 | Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam |
Interprocedural parallelization analysis in SUIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(4), pp. 662-731, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis |
41 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
The impact of data dependence analysis on compilation and program parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 205-214, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization |
41 | Marcelo H. Cintra, Diego R. Llanos Ferraris |
Toward efficient and robust software speculative parallelization on multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 13-24, 2003, ACM, 1-58113-588-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
thread-level speculation, speculative parallelization |
41 | Sungdo Moon, Byoungro So, Mary W. Hall |
Evaluating Automatic Parallelization in SUIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(1), pp. 36-49, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
array privatization, run-time parallelization, shared-memory multiprocessors, Parallelizing compilers, data dependence analysis |
41 | Iffat H. Kazi, David J. Lilja |
JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs. ![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. 559-564, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
run-time dependence checking, shared-memory multprocessors, Java, multithreading, speculative execution, Parallelization model |
40 | Bryan Chan, Tarek S. Abdelrahman |
Run-Time Support for the Automatic Parallelization of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 28(1), pp. 91-117, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java optimizations, run-time parallelization, parallelizing compilers, automatic parallelization, task-level parallelism |
40 | Peng Wu 0001, David A. Padua |
Containers on the Parallelization of General-Purpose Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999, pp. 84-90, 1999, IEEE Computer Society, 0-7695-0425-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
compiler parallelization, dependence test, Java parallelization, container, data speculation |
40 | Pierre Jouvelot |
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 425, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
36 | Neil Blair MacDonald |
Predicting Execution Times of Sequential Scientific Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 32-44, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Ulrich Kremer, John M. Mellor-Crummey, Ken Kennedy, Alan Carle |
Automatic Data Layout for Distributed-Memory Machines in the D Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 136-152, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Kathleen Knobe, William J. Dally |
Subspace Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 153-176, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Arno Formella, Silvia M. Müller, Wolfgang J. Paul, Anke Bingert |
Isolating the Reasons for the Performance of Parallel Machines on Numerical Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 45-77, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Fahringer |
The Weight Finder - An Advanced Profiler for Fortran Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 7-31, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Brandes |
Adaptor: A Compilation System for Data Parallel Fortran Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 84-98, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Michael Philippsen, Markus U. Mock |
Data and Process Alignment in Modula-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 177-191, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Rolf Hänisch |
SNAP! Prototyping a Sequential and Numerical Application Parallelizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 99-109, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Denis A. Nicole |
Targeting Transputer Systems, Past and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Parallelization ![In: Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction, pp. 78-83, 1994, Vieweg+Teubner Verlag, 978-3-528-05401-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Bertram Fronhöfer, Graham Wrightson (eds.) |
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![Springer, 3-540-55425-4 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Håkan Millroth |
Using the Reform Inference System for Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 182-194, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu |
ElipSys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 362, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Claude Kirchner, Patrick Viry |
Implementing Parallel Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 123-138, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Katherine A. Yelick |
Parallel Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 348, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Owen L. Astrachan |
METEORs: High Performance Theorem Provers Using Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 353, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani |
An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 366, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Trent E. Lange |
ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 360, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Joachim Hertzberg, Hans W. Guesgen |
qwertz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 368, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Mounira Belmesk, Zineb Habbas, Philippe Jorrand |
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 163-181, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Neimann |
Parallel Rule-Firing Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 346, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | David M. W. Powers |
Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 210-233, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Robert Johnson |
Parallel, Concurrent Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 359, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Johann Schumann |
Parallel Theorem Provers - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 26-50, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | James G. Schmolze |
Parallel Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 361, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Geoff Sutcliffe |
Parallel Linear & UR-Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 365, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Christian B. Suttner |
A Parallel Theorem Prover with Heuristic Work Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 243-252, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Roman Blasko |
Parallel Logic Programs on Transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 349, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Ron Sun |
Integrating Rules and Connectionism for Robust Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 372, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Nissim Francez |
Distributed Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 356, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | |
Project Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 343-372, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Andy King, Paul Soper |
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 367, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Scott Fertig, David Gelernter |
Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 364, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Walter Hower |
Constraint Satisfaction via Partially Parallel Propagation Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 234-242, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Jiwei Wang, Andy Marsh, Simon H. Lavington |
Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 253-269, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Wolfgang Schreiner |
The ADAM Abstract Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 270-289, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Claude F. Touzet, Norbert Giambiasi |
Application of Connectionist Models to Fuzzy Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 303-317, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Fadi N. Sibai |
Parallel Unification: Theory and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 51-81, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Khayri A. M. Ali, Roland Karlsson |
The MUSE Parallel Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 358, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Ewing L. Lusk, William McCune, John K. Slaney |
Parallel Closure-Based Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 347, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Henry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen |
Programming Methods for Neural Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 357, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Ewing L. Lusk, William McCune |
Experiments with ROO: A Parallel Automated Deduction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 139-162, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Giancarlo Succi |
Data Parallelism in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 355, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Simon H. Lavington |
The IFS Parallel Architectures Group University of Essex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 351-352, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Wilson X. Wen |
Parallel Distributed Belief Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 350, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Hans W. Guesgen, Steffen Hölldobler |
Connectionist Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 82-120, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Roman Blasko |
Parallel Computation Model for Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 290-302, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Handong Wu |
Parallel Implementation of Guarded Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 369, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
36 | Steffen Hölldobler, Franz J. Kurfess |
CHCL - A Connectionist Infernce System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 318-342, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|