Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
type: Item
instance of: scholarly article
title: Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
zbMATH Open document ID: 1451.68029
DOI: 10.1017/S1471068418000170
author: Marc Dahlem
author: Anoop Bhagyanath
author: Klaus Schneider
published in: Theory and Practice of Logic Programming
publication date: 2018-12-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1804.10998
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6988654
zbMATH Keywords: answer set programming
zbMATH Keywords: exposed datapath architectures
zbMATH Keywords: optimal scheduling
zbMATH Keywords: code generation
describes a project that uses: clasp
describes a project that uses: TOAST
MaRDI profile type: Publication
arXiv ID: 1804.10998
cites work: Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
cites work: Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
cites work: TOAST: Applying Answer Set Programming to Superoptimisation
cites work: Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
cites work: Synthesizing Concurrent Programs Using Answer Set Programming
cites work: Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
cites work: Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
cites work: Euro-Par 2006 parallel processing. 12th international Euro-Par conference, Dresden, Germany, August 28--September 1, 2006. Proceedings
cites work: The Generation of Optimal Code for Arithmetic Expressions
OpenAlex ID: W2963373164
Wikidata QID: Q129410477
description: scientific article; zbMATH DE number 6988654