Detail výsledku

Rendering Pipeline Modelled by Category Theory

HAVEL, J.; HEROUT, A. Rendering Pipeline Modelled by Category Theory. GraVisMa 2010 workshop proceedings. Plzeň: University of West Bohemia in Pilsen, 2010. p. 101-105. ISBN: 978-80-86943-85-5.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havel Jiří, Ing., Ph.D., FIT (FIT), UIFS (FIT), UPGM (FIT)
Herout Adam, prof. Ing., Ph.D., UIFS (FIT), UPGM (FIT)
Abstrakt

This paper describes basic concepts from category theory, which are commonly used in functional programming. These concepts
are applied to shader programming and to the rendering pipeline and the whole rendering pipeline is formally modelled using category theory. This model can be used for more abstract and formal approach to shader programming. Mathematical formalization of the rendering pipeline and its stages can be helpful in shader compiler design, for proving algorithms, complexity analysis, and other tasks.

Klíčová slova

Rendering, Shaders, Category Theory

Rok
2010
Strany
101–105
Sborník
GraVisMa 2010 workshop proceedings
Konference
GraVisMa Computer Graphics, Computer Vision and Mathematics 2010
ISBN
978-80-86943-85-5
Vydavatel
University of West Bohemia in Pilsen
Místo
Plzeň
BibTeX 
@inproceedings{BUT35207,
  author="Jiří {Havel} and Adam {Herout}",
  title="Rendering Pipeline Modelled by Category Theory",
  booktitle="GraVisMa 2010 workshop proceedings",
  year="2010",
  pages="101--105",
  publisher="University of West Bohemia in Pilsen",
  address="Plzeň",
  isbn="978-80-86943-85-5"
}
Projekty
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, zahájení: 2010-04-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina počítačové grafiky (VZ GRAPH)
Pracoviště
Ústav počítačové grafiky a multimédií (UPGM)
Nahoru