1
Pubblicazione 2013
Sommario: ... Single Assignment Form -- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ... Compiler—A Tool Demonstration -- Optimization -- Loop Transformations in the Ahead-of-Time Optimization...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision...
Testo
Elettronico eBook
4
Pubblicazione 2008
Sommario: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
Testo
Elettronico eBook
5
Pubblicazione 2014
Sommario: ... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Testo
Elettronico eBook