Search results for "DAMP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Eva Burrows, Magne Haveraaen	Programmable data dependencies and placements.	DAMP	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	Rui Vieira, Ricardo Rocha 0001, Fernando M. A. Silva	Or-parallel prolog execution on multicores based on stack splitting.	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	Paul Bone, Zoltan Somogyi, Peter Schachte	Controlling loops in parallel mercury code.	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	Dominic Duggan, Jianhua Yao 0003	Sessional dataflow: short paper.	DAMP	2012	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	Alexander V. Shafarenko	Declarative coordination in a multicore environment: the tyranny of streams.	DAMP	2011	DBLP DOI BibTeX RDF
1	Joaquín Aguado, Michael Mendler	Computing with streams.	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	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	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	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	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	Satnam Singh	Declarative data-parallel programming with the accelerator system.	DAMP	2010	DBLP DOI BibTeX RDF	data-parallelsim
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	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	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
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	Zhijing G. Mou, Hai Liu 0012, 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
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	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	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
1	Michael Lesniak	PASTHA: parallelizing stencil calculations in Haskell.	DAMP	2010	DBLP DOI BibTeX RDF	sequence scoring, haskell, stencil
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	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 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	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	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	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
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	Steve Zdancewic	Application-level concurrency: combining events and treads: invited talk.	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	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	Manuel V. Hermenegildo	Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
1	Joe Duffy	A query language for data parallel programming: 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	Sam Lindley	Implementing deterministic declarative concurrency using sieves.	DAMP	2007	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	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	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	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

Publications at "DAMP"( http://dblp.L3S.de/Venues/DAMP )