Search results for "AND parallelism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF	High-level Implementation, Prolog, And-Parallelism
3	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF	Logic Programming, Program Transformation, Automatic Parallelization, And- Parallelism
3	Camino R. Vela, Cesar Alonso, Ramiro Varela, Jorge Puente	A Genetic Approach to Computing Independent AND Parallelism in Logic Programs.	IWANN	1997	DBLP DOI BibTeX RDF	Independent AND Parallelism, Evolutive Optimization, Genetic Algorithms, Parallel Logic Programming
3	Enrico Pontelli, Gopal Gupta	On the Duality Between Or-parallelism and And-parallelism in Logic Programming.	Euro-Par	1995	DBLP DOI BibTeX RDF	Optimizations, Prolog, Or-parallelism, And-parallelism
3	Zhiyi Hwang, Shouren Hu	A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems.	PARLE	1989	DBLP DOI BibTeX RDF	Compiling, Logic programming, Prolog, Data-dependence, Parallel execution, And-parallelism
2	Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou	A GPGPU compiler for memory optimization and parallelism management.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
2	Xuejun Yang, Jing Du, Xiaobo Yan, Yu Deng	Matrix-based streamization approach for improving locality and parallelism on FT64 stream processor.	The Journal of Supercomputing	2009	DBLP DOI BibTeX RDF	FT64, D&C Matrix, Streamization, Stream organization, Program transformation
2	Michael Jason Cade, Apan Qasem	Balancing Locality and Parallelism on Shared-cache Mulit-core Systems.	HPCC	2009	DBLP DOI BibTeX RDF
2	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.	PADL	2008	DBLP DOI BibTeX RDF	High-level Implementation, Parallelism, Virtual Machines
2	Jun-Sik Kim, In-So Kweon	Semi-metric Space: A New Approach to Treat Orthogonality and Parallelism.	ACCV	2006	DBLP DOI BibTeX RDF
2	Andrea Roli	Criticality and Parallelism in Structured SAT Instances.	CP	2002	DBLP BibTeX RDF
2	D. Manjunath, Biplab Sikdar	Variable Length Packet Switches: Input Queued Fabrics with Finite Buffers, Speedup, and Parallelism.	HiPC	2001	DBLP DOI BibTeX RDF
2	Louise Lorentsen, Lars Michael Kristensen	Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method.	ACSD	2001	DBLP DOI BibTeX RDF
2	Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau	Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.	SAS	2001	DBLP DOI BibTeX RDF
2	Zhiyi Huang, Chengzheng Sun, Abdul Sattar	Selective Recomputation for Handling Side-Effects in Parallel Logic Programs.	PLILP	1997	DBLP DOI BibTeX RDF	OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism
2	Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo	Towards Independent And-Parallelism in CLP.	PLILP	1996	DBLP DOI BibTeX RDF
2	Manuel V. Hermenegildo, Manuel Carro	Relating Data-Parallelism and (And-) Parallelism in Logic Programs.	Euro-Par	1995	DBLP DOI BibTeX RDF
2	Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo	&ACE: a high-performance parallel Prolog system. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	parallel Prolog system, parallel symbolic computing, Independent And-parallelism, logic programming, PROLOG, shared memory multiprocessor, shared memory systems, symbol manipulation, Or-parallelism, ACE
2	William Pugh, David Wonnacott	Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Omega test, array data-dependence analysis, optimization, compilation, automatic parallelization, Presburger arithmetic, dependence relation
2	Albert C. Chen, Chuan-lin Wu	A Parallel Execution Model of Logic Programs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
2	Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao	Reduction of Code Space in Parallel Logic Programming Systems.	PARLE	1991	DBLP DOI BibTeX RDF	mode inference, parallel processing, compile, logic programming, PROLOG, abstract interpretation, computer languages, AND-parallelism
2	Yaoqing Gao, Chengzheng Sun, Shouren Hu	Study of a Parallel Inference Machine for Parallel Execution of Logic Programs.	CONPAR	1990	DBLP DOI BibTeX RDF	OR-Forest Description, Restricted AND Parallelism, Limited OR Parallelism, RAP/LOP-WAM, Logic Programming, WAM
2	Hong Xia, Wolfgang K. Giloi	A hybrid scheme for detecting AND-parallelism in prolog programs.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
2	Hans Tebra	Optimistic And-Parallelism in Prolog.	PARLE	1987	DBLP DOI BibTeX RDF
1	Pedro Gonnet	Pairwise verlet lists: Combining cell lists and verlet lists to improve memory locality and parallelism.	Journal of Computational Chemistry	2012	DBLP DOI BibTeX RDF
1	Min Kyu Jeong, Doe Hyun Yoon, Dam Sunwoo, Mike Sullivan, Ikhwan Lee, Mattan Erez	Balancing DRAM locality and parallelism in shared memory CMP systems.	HPCA	2012	DBLP DOI BibTeX RDF
1	Ozcan Ozturk	Data locality and parallelism optimization using a constraint-based approach.	J. Parallel Distrib. Comput.	2011	DBLP DOI BibTeX RDF
1	Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Parallel Backtracking with Answer Memoing for Independent And-Parallelism	CoRR	2011	DBLP BibTeX RDF
1	Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Parallel backtracking with answer memoing for independent and-parallelism.	TPLP	2011	DBLP DOI BibTeX RDF
1		Applications and Parallelism.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Peter Wang, Zoltan Somogyi	Minimizing the overheads of dependent {AND}-parallelism.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
1	Samuel J. Burri, Günter Karjoth	Flexible Scoping of Authorization Constraints on Business Processes with Loops and Parallelism.	Business Process Management Workshops	2011	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat, Kim Bruce	Curricula in concurrency and parallelism.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
1	Xiaoji Ye, Peng Li	Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation.	DAC	2010	DBLP DOI BibTeX RDF	parallel computing, performance modeling, transient simulation
1	Chao Liu, Hung-chih Yang, Jinliang Fan, Li-Wei He, Yi-Min Wang	Distributed nonnegative matrix factorization for web-scale dyadic data analysis on mapreduce.	WWW	2010	DBLP DOI BibTeX RDF	distributed computing, mapreduce, nonnegative matrix factorization, dyadic data
1	Sung Hoon Baek, Kyu Ho Park	Striping-Aware Sequential Prefetching for Independency and Parallelism in Disk Arrays with Concurrent Accesses.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
1	Lillian N. Cassel, Richard J. LeBlanc, Andrew D. McGettrick, Michael Wrinn	Concurrency and parallelism in the computing ontology.	ITiCSE	2009	DBLP DOI BibTeX RDF	ontology, parallel, concurrency, curriculum
1	Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi	Design Rule Hierarchies and Parallelism in Software Development Tasks.	ASE	2009	DBLP DOI BibTeX RDF	collaboration, software architecture, project management
1	Guy L. Steele Jr., Vijay A. Saraswat	Curricula for concurrency and parallelism.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	parallelism, concurrency, multicore, curricula
1	Sameh Gobriel, Daniel Mossé, Robert Cleric	TDMA-ASAP: Sensor Network TDMA Scheduling with Adaptive Slot-Stealing and Parallelism.	ICDCS	2009	DBLP DOI BibTeX RDF
1	Karthik Ramani, Christiaan P. Gribble, Al Davis	StreamRay: a stream filtering architecture for coherent ray tracing.	ASPLOS	2009	DBLP DOI BibTeX RDF	wide simd architectures, ray tracing, graphics processors, interactive rendering
1	Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides	Generalizing DPOP: Action-GDL, a new complete algorithm for DCOPs.	AAMAS	2009	DBLP DOI BibTeX RDF	DPOP, GDL, distributed junction tree, DCOP
1	Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun	Exploring parallelization strategies for NUFFT data translation.	EMSOFT	2009	DBLP DOI BibTeX RDF	geometric tiling, non-uniform fft, parallelization, gridding, code generation
1	Tobias Scholl, Angelika Reiser, Alfons Kemper	Collaborative query coordination in community-driven data grids.	HPDC	2009	DBLP DOI BibTeX RDF	query processing, distributed databases, data grids
1	David Taniar, J. Wenny Rahayu, Clement H. C. Leung, Sushant Goel	Advances in high performance database technology.	iiWAS	2009	DBLP DOI BibTeX RDF
1	Amrita Mathuriya, David A. Bader, Christine E. Heitsch, Stephen C. Harvey	GTfold: a scalable multicore code for RNA secondary structure prediction.	SAC	2009	DBLP DOI BibTeX RDF	ribosomal and viral RNA, parallel algorithms, computational biology
1	Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev	Demystifying magic: high-level low-level programming.	VEE	2009	DBLP DOI BibTeX RDF	intrinsics, jikes rvm, mmtk, vmmagic, debugging, virtualization, magic, systems programming
1	Randy Smith, Neelam Goyal, Justin Ormont, Karthikeyan Sankaralingam, Cristian Estan	Evaluating GPUs for network packet signature matching.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Yang Hu, Dan Feng, Shu Ping Zhang, Jingning Liu	MHPR: Multi-head Parallelism and Redundancy Disk Model.	NAS	2009	DBLP DOI BibTeX RDF
1	Benjamin G. Jackson, Patrick S. Schnable, Srinivas Aluru	Assembly of Large Genomes from Paired Short Reads.	BICoB	2009	DBLP DOI BibTeX RDF
1	Shengqi Yang, Bai Wang, Haizhou Zhao, Yuan Gao, Bin Wu	DisTec: Towards a Distributed System for Telecom Computing.	CloudCom	2009	DBLP DOI BibTeX RDF
1	Deyuan Qiu, Stefan May, Andreas Nüchter	GPU-Accelerated Nearest Neighbor Search for 3D Registration.	ICVS	2009	DBLP DOI BibTeX RDF	NNS, GPGPU, SIMD, MIMD, ICP, 3D registration
1	Brian P. Ginsburg, Anantha P. Chandrakasan	The mixed signal optimum energy point: voltage and parallelism.	DAC	2008	DBLP DOI BibTeX RDF	optimization, low-power, analog-to-digital converters, mixed-signal circuits
1	Im Young Jung, Heon Young Yeom	An efficient and transparent transaction management based on the data workflow of HVEM DataGrid.	CLADE	2008	DBLP DOI BibTeX RDF	HVEM DataGrid, data workflow, transaction management
1	Santanu Kundu, Santanu Chattopadhyay	Mesh-of-tree deterministic routing for network-on-chip architecture.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	deterministic routing., mesh-of-tree (mot), interconnection networks, system-on-chip (soc), network-on-chip (noc)
1	Erik Meijer	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
1	David B. Thomas, Wayne Luk	Multivariate Gaussian Random Number Generation Targeting Reconfigurable Hardware.	TRETS	2008	DBLP DOI BibTeX RDF	FPGA, Random numbers, multivariate Gaussian distribution
1	Qinru Qiu, Daniel J. Burns, Michael J. Moore, Richard Linderman, Thomas Renz, Qing Wu	Accelerating cogent confabulation: An exploration in the architecture design space.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Belaid Saad, Francine Herrmann, Yann Lanuel, Thomas Tamisier	Mixing Protocol based on the Cooperation and the Parallelism for the Distributed Environment.	SNPD	2008	DBLP DOI BibTeX RDF	Multi-agent system, Parallelism, Cooperation, Distributed Constraint Satisfaction
1	Kimmo U. Järvinen, Jorma Skyttä	On Parallelization of High-Speed Processors for Elliptic Curve Cryptography.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Helena Handschuh, Bart Preneel	Key-Recovery Attacks on Universal Hash Function Based MAC Algorithms.	CRYPTO	2008	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Fabio Gadducci, Tobias Heindel	Parallel and Sequential Independence for Borrowed Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
1	Paulo Moura, Paul Crocker, Paulo Nunes	High-Level Multi-threading Programming in Logtalk.	PADL	2008	DBLP DOI BibTeX RDF	concurrency, logic-programming, threads
1	James C. Brodman, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua	Design Issues in Parallel Array Languages for Shared Memory.	SAMOS	2008	DBLP DOI BibTeX RDF	parallel programming, shared memory, tiling, data parallelism
1	Yizhou Wang, Song Chun Zhu	Perceptual Scale-Space and Its Applications.	International Journal of Computer Vision	2008	DBLP DOI BibTeX RDF	Primal sketch, Scale-space, Generative modeling, Graph grammar, Image pyramid
1	Haifeng Jiang, Dengfeng Gao, Wen-Syan Li	Exploiting Correlation and Parallelism of Materialized-View Recommendation for Distributed Data Warehouses.	ICDE	2007	DBLP DOI BibTeX RDF
1	Walid A. Najjar	Compiling code accelerators for FPGAs.	CASES	2007	DBLP DOI BibTeX RDF	FPGA code acceleration
1	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
1	Walid A. Najjar	Compiling code accelerators for FPGAs.	CODES+ISSS	2007	DBLP DOI BibTeX RDF
1	Yang Qu, Juha-Pekka Soininen, Jari Nurmi	Interactive presentation: Using dynamic voltage scaling to reduce the configuration energy of run time reconfigurable devices.	DATE	2007	DBLP DOI BibTeX RDF
1	Ravi Jenkal, W. Rhett Davis	An architecture for energy efficient sphere decoding.	ISLPED	2007	DBLP DOI BibTeX RDF	architecture, energy efficiency, MIMO, sphere decoding
1	Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan	Effective automatic parallelization of stencil computations.	PLDI	2007	DBLP DOI BibTeX RDF	tiling, automatic parallelization, load, stencil computations
1	Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero	Observing intermediate structures in a parallel lazy functional language.	PPDP	2007	DBLP DOI BibTeX RDF	parallel functional programming, semantics, debugging
1	Xiaofeng Ren	Learning and Matching Line Aspects for Articulated Objects.	CVPR	2007	DBLP DOI BibTeX RDF
1	Lauren Sarno, Wen-mei W. Hwu, Craig Lund, Markus Levy, James R. Larus, James Reinders, Gordon Cameron, Chris Lennard, Takashi Yoshimori	Corezilla: Build and Tame the Multicore Beast?	DAC	2007	DBLP DOI BibTeX RDF
1	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Automatic On-chip Memory Minimization for Data Reuse.	FCCM	2007	DBLP DOI BibTeX RDF
1	Mahendra Kumar Angamuthu Ganesan, Sundeep Singh, Frank May, Jürgen Becker	H.264 Decoder at HD Resolution on a Coarse Grain Dynamically Reconfigurable Architecture.	FPL	2007	DBLP DOI BibTeX RDF
1	Yuxiong He, Hongyang Sun, Wen-Jing Hsu	Adaptive Scheduling of Parallel Jobs on Functionally Heterogeneous Resources.	ICPP	2007	DBLP DOI BibTeX RDF
1	Kuizhi Mei, Nanning Zheng, Chang Huang, Yuehu Liu, Qiang Zeng	VLSI Design of a High-Speed and Area-Efficient JPEG2000 Encoder.	IEEE Trans. Circuits Syst. Video Techn.	2007	DBLP DOI BibTeX RDF
1	Partha Tirumalai, Yonghong Song, Spiros Kalogeropulos	Performance Evaluation of Evolutionary Multi-core and Aggressively Multi-threaded Processor Architectures.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
1	José Rouco, Marta Penas, Manuel G. Penedo, Marcos Ortega, Carmen Alonso-Montes	Certainty Measure of Pairwise Line Segment Perceptual Relations Using Fuzzy Logic.	CIARP	2007	DBLP DOI BibTeX RDF	fuzzy logic, perceptual grouping, certainty
1	Sebastian Fleissner	GPU-Accelerated Montgomery Exponentiation.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Montgomery Exponentiation, Encryption, GPGPU
1	Harald Devos, Kristof Beyls, Mark Christiaens, Jan M. Van Campenhout, Erik H. D'Hollander, Dirk Stroobandt	Finding and Applying Loop Transformations for Generating Optimized FPGA Implementations.	T. HiPEAC	2007	DBLP DOI BibTeX RDF
1	Françoise Détienne, Willemien Visser	Multimodality and parallelism in design interaction: co-designers' alignment and coalitions	CoRR	2006	DBLP BibTeX RDF
1	Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez, José M. Granado Criado, Manuel Rubio del Solar	Reconfigurable Computing and Parallelism for Implementing and Accelerating Evolutionary Algorithms.	Parallel Evolutionary Computations	2006	DBLP DOI BibTeX RDF
1	Guangming Tan, Shengzhong Feng, Ninghui Sun	Biology - Locality and parallelism optimization for dynamic programming algorithm in bioinformatics.	SC	2006	DBLP DOI BibTeX RDF	parallelism, dynamic programming, locality, tiling, cache-oblivious
1	Fernando Asteasuain, Jessica Andrea Carballido, Gustavo E. Vazquez, Ignacio Ponzoni	Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF	Instrumentation Design, Genetic Algorithms, Distributed Computing
1	Mazen Kharbutli, Xiaowei Jiang, Yan Solihin, Guru Venkataramani, Milos Prvulovic	Comprehensively and efficiently protecting the heap.	ASPLOS	2006	DBLP DOI BibTeX RDF	heap attacks, heap security, heap server, computer security
1	Nic Mokhoff, Yervant Zorian	Tradeoffs and choices for emerging SoCs in high-end applications.	DAC	2006	DBLP DOI BibTeX RDF
1	François Rémond	Physical design challenges for multi-million gate SoC's: an STMicroelectronics perspective.	ISPD	2006	DBLP DOI BibTeX RDF
1	Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu	A constraint logic programming approach to 3D structure determination of large protein complexes.	SAC	2006	DBLP DOI BibTeX RDF	constraint logic programming, protein structure
1	Tarek A. El-Ghazawi, Lauren Smith	UPC - UPC: unified parallel C.	SC	2006	DBLP DOI BibTeX RDF
1	Liang Wang 0002, Miao Liao, Minglun Gong, Ruigang Yang, David Nistér	High-Quality Real-Time Stereo Using Adaptive Cost Aggregation and Dynamic Programming.	3DPVT	2006	DBLP DOI BibTeX RDF
1	Akiyoshi Wakatani	Evaluation of parallel VQ compression algorithms on an SMP system.	CCECE	2006	DBLP DOI BibTeX RDF
1	Akiyoshi Wakatani	VQ Compression Algorithms on a Shared-Memory Multiprocessor.	DCC	2006	DBLP DOI BibTeX RDF
1	Klaus Waldschmidt	Robustness in SOC Design.	DSD	2006	DBLP DOI BibTeX RDF	adaptive computing systems (ACS), reliability, robustness, design methodology
1	Miwa Miyata, Hideyuki Tsuchiya, Yuichiro Shibata, Kiyoshi Oguri	An Implementation Technique of Multi-Cycled Arithmetic Functions For a Dynamically Reconfigurable Processor.	FPL	2006	DBLP DOI BibTeX RDF
1	Javier Setoain, Christian Tenllado, Manuel Prieto, David Valencia, Antonio Plaza, Javier Plaza	Parallel Hyperspectral Image Processing on Commodity Graphics Hardware.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
1	Daisuke Maruyama, Incheon Paik, Mitsuteru Shinozawa	A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment.	CIT	2006	DBLP DOI BibTeX RDF