Search results for "multicore programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Zhijing G. Mou, Hai Liu, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
2	Clemens Grelck, Jukka Julku, Frank Penczek	S-Net for multi-memory multicores.	DAMP	2010	DBLP DOI BibTeX RDF	component coordination, hybrid memory architecture, stream processing, multicore programming
2	Suzanne Rivoire	A breadth-first course in multicore and manycore programming.	SIGCSE	2010	DBLP DOI BibTeX RDF	multicore programming education, parallel programming education, tbb, openmp, cuda
2	Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.	DAMP	2009	DBLP DOI BibTeX RDF	eden, multicore parallelism, haskell, algorithmic skeletons
2	Clemens Grelck, Sven-Bodo Scholz	SAC: off-the-shelf support for data-parallelism on multicores.	DAMP	2007	DBLP DOI BibTeX RDF	Single assignment C, automatic parallelisation, generic array programming, data parallel programming, multicore programming, SaC
1	A. N. Yzelman, Rob H. Bisseling	An object-oriented bulk synchronous parallel library for multicore programming.	Concurrency and Computation: Practice and Experience	2012	DBLP DOI BibTeX RDF
1	Umut A. Acar, Vítor Santos Costa (eds.)	Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012	DAMP	2012	DBLP BibTeX RDF
1	Eva Burrows, Magne Haveraaen	Programmable data dependencies and placements.	DAMP	2012	DBLP DOI BibTeX RDF
1	Raimund Kirner, Frank Penczek, Alexander V. Shafarenko	Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.	DAMP	2012	DBLP DOI BibTeX RDF
1	Dominic Duggan, Jianhua Yao	Sessional dataflow: short paper.	DAMP	2012	DBLP DOI BibTeX RDF
1	Koen Claessen, Mary Sheeran, Joel Svensson	Expressive array constructs in an embedded GPU kernel programming language.	DAMP	2012	DBLP DOI BibTeX RDF
1	Abdorreza Savadi, Morteza Moradi, Hossein Deldari	Multi-DaC programming model: a variant of multi-BSP model for divide-and-conquer algorithms.	DAMP	2012	DBLP DOI BibTeX RDF
1	Rui Vieira, Ricardo Rocha, Fernando M. A. Silva	Or-parallel prolog execution on multicores based on stack splitting.	DAMP	2012	DBLP DOI BibTeX RDF
1	Paul Bone, Zoltan Somogyi, Peter Schachte	Controlling loops in parallel mercury code.	DAMP	2012	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	Software transactional memories: an approach for multicore programming.	The Journal of Supercomputing	2011	DBLP DOI BibTeX RDF
1	Chia-Tien Dan Lo	Performance-aware multicore programming.	ACM Southeast Regional Conference	2011	DBLP DOI BibTeX RDF
1	Manuel Carro, John H. Reppy (eds.)	Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011	DAMP	2011	DBLP BibTeX RDF
1	S. Tucker Taft	Multicore Programming in ParaSail - Parallel Specification and Implementation Language.	Ada-Europe	2011	DBLP DOI BibTeX RDF
1	Vincent Cavé, Jarred Payne, Raghavan Raman, Mathias Ricken, Corky Cartwright, Vivek Sarkar	DrHJ: the cure to your multicore programming woes.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Austin Robison	Domain specific compilation in the NVIDIA OptiX ray tracing engine.	DAMP	2011	DBLP DOI BibTeX RDF
1	Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz	Breaking the GPU programming barrier with the auto-parallelising SAC compiler.	DAMP	2011	DBLP DOI BibTeX RDF
1	Paul Tarau	Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!).	DAMP	2011	DBLP DOI BibTeX RDF
1	Frédéric Peschanski	Parallel computing with the Pi-calculus.	DAMP	2011	DBLP DOI BibTeX RDF
1	Joaquin Aguado, Michael Mendler	Computing with streams.	DAMP	2011	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover	Accelerating Haskell array codes with multicore GPUs.	DAMP	2011	DBLP DOI BibTeX RDF
1	Bradford Larsen	Simple optimizations for an applicative array language for graphics processors.	DAMP	2011	DBLP DOI BibTeX RDF
1	Alexander V. Shafarenko	Declarative coordination in a multicore environment: the tyranny of streams.	DAMP	2011	DBLP DOI BibTeX RDF
1	Leaf Petersen, Enrico Pontelli (eds.)	Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010	DAMP	2010	DBLP BibTeX RDF
1	Christopher G. Baker, Michael A. Heroux, H. Carter Edwards, Alan B. Williams	A Light-weight API for Portable Multicore Programming.	PDP	2010	DBLP DOI BibTeX RDF	Parallel programming, multicore architectures
1	Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton	SequenceL: transparency and multi-core parallelisms.	DAMP	2010	DBLP DOI BibTeX RDF	computational laws, sequencel, multi-core, transparency
1	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
1	David C. J. Matthews, Makarius Wenzel	Efficient parallel programming in Poly/ML and Isabelle/ML.	DAMP	2010	DBLP DOI BibTeX RDF	parallel standard ml, poly/ml, theorem proving applications, data parallelism, isabelle
1	Dominic A. Orchard, Max Bolingbroke, Alan Mycroft	Ypnos: declarative, parallel structured grid programming.	DAMP	2010	DBLP DOI BibTeX RDF	comonads, edsl, structured grids, ypnos, parallelism, stencils
1	Michael Lesniak	PASTHA: parallelizing stencil calculations in Haskell.	DAMP	2010	DBLP DOI BibTeX RDF	sequence scoring, haskell, stencil
1	Simona Perri, Francesco Ricca, Marco Sirianni	A parallel ASP instantiator based on DLV.	DAMP	2010	DBLP DOI BibTeX RDF	parallelism, answer set programming, grounding, instantiation
1	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
1	Satnam Singh	Declarative data-parallel programming with the accelerator system.	DAMP	2010	DBLP DOI BibTeX RDF	data-parallelsim
1	Yuxiong He, Charles E. Leiserson, William M. Leiserson	The Cilkview scalability analyzer.	SPAA	2010	DBLP DOI BibTeX RDF	burdened parallelism, cilk++, cilkview, dag model, performance, scalability, parallel programming, parallelism, software tools, multithreading, speedup, work, span, multicore programming
1	Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, George Russell	Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload.	CISIS	2010	DBLP DOI BibTeX RDF	call graph analysis, compilers, Multicore programming, Cell BE
1	Shih-Hao Hung, Wen-Long Yang, Chia-Heng Tu	Designing and Implementing a Portable, Efficient Inter-core Communication Scheme for Embedded Multicore Platforms.	RTCSA	2010	DBLP DOI BibTeX RDF	inter-core communication, MCAPI, embedded systems, MPI, message-passing, multicore programming
1	Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida	Type-Directed Compilation for Multicore Programming.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Michael Perrone	Multicore Programming Challenges.	Euro-Par	2009	DBLP DOI BibTeX RDF
1	Leaf Petersen, Manuel M. T. Chakravarty (eds.)	Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009	DAMP	2009	DBLP BibTeX RDF
1	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
1	Petra Hofstedt, Florian Lorenzen	Constraint Functional Multicore Programming.	GI Jahrestagung	2009	DBLP BibTeX RDF
1	Rosa M. Badia, Josep M. Pérez, Eduard Ayguadé, Jesús Labarta	Impact of the Memory Hierarchy on Shared Memory Architectures in Multicore Programming Models.	PDP	2009	DBLP DOI BibTeX RDF
1	Frank Otto, Victor Pankratius, Walter F. Tichy	High-level multicore programming with XJava.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck	Controlling chaos: on safe side-effects in data-parallel operations.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent side-effects, non-determinism, functional programming languages
1	Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar	Speculative N-Way barriers.	DAMP	2009	DBLP DOI BibTeX RDF	fork/join execution, n-way barriers, speculation, multi-threaded programs
1	Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari	Declarative aspects of memory management in the concurrent collections parallel programming model.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent collections, reference counts
1	Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli	The semantics of power and ARM multiprocessor machine code.	DAMP	2009	DBLP DOI BibTeX RDF	semantics, powerpc, arm, relaxed memory models
1	Martin Sulzmann, Edmund S. L. Lam, Simon Marlow	Comparing the performance of concurrent linked-list implementations in Haskell.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent linked list, performance, synchronization
1	Charles E. Leiserson	The Cilk++ concurrency platform.	DAC	2009	DBLP DOI BibTeX RDF	dag model, hyperobject, parallel programming, parallelism, multithreading, reducer, speedup, work, race detection, span, multicore programming, Amdahl's Law
1	Don Jones Jr., Simon Marlow, Satnam Singh	Parallel performance tuning for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	parallel profiling, functional programming
1	Karl Fürlinger, David Skinner	Performance Profiling for OpenMP Tasks.	IWOMP	2009	DBLP DOI BibTeX RDF
1	Jeremy Kepner	Multicore programming in pMatlab using distributed arrays.	CLADE	2008	DBLP DOI BibTeX RDF	parallel computing, distributed arrays
1	Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda	Session-Based Compilation Framework for Multicore Programming.	FMCO	2008	DBLP DOI BibTeX RDF
1	Keshav Pingali	Data-parallel abstractions for irregular programs.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	set iterators, multicore programming, optimistic parallelism, irregular programs
1	Kun-Yuan Hsieh, Yen-Chih Liu, Chi-Hua Lai, Jenq Kuen Lee	The support of software design patterns for streaming RPC on embedded multicore processors.	SiPS	2008	DBLP DOI BibTeX RDF
1	Neal Glew, Guy E. Blelloch (eds.)	Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007	DAMP	2007	DBLP BibTeX RDF
1	Barbara M. Chapman	The Multicore Programming Challenge.	APPT	2007	DBLP DOI BibTeX RDF
1	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
1	Joe Duffy	A query language for data parallel programming: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
1	Steve Zdancewic	Application-level concurrency: combining events and treads: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
1	Manuel V. Hermenegildo	Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
1	Daniel Spoonhower	Cost semantics for space usage in a parallel language.	DAMP	2007	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow	Data parallel Haskell: a status report.	DAMP	2007	DBLP DOI BibTeX RDF
1	Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum	A proposal for parallel self-adjusting computation.	DAMP	2007	DBLP DOI BibTeX RDF	fork-join programs, parallel change propagation, series-parallel programs, parallelism, change propagation, self-adjusting computation, dynamic dependency graphs
1	Sam Lindley	Implementing deterministic declarative concurrency using sieves.	DAMP	2007	DBLP DOI BibTeX RDF
1	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao	Manticore: a heterogeneous parallel language.	DAMP	2007	DBLP DOI BibTeX RDF
1	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha	Unlocking concurrency.	ACM Queue	2006	DBLP DOI BibTeX RDF
1	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF