search result

Cover von Verifying Optimizations for Concurrent Programs

Verifying Optimizations for Concurrent Programs

Year: 2014
Media group: OASICS
Cover von Compiler optimizations for scalable parallel systems
languages, compilation techniques, and run time systems
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 1808
Media group: MONOGRAPHIE
Cover von Formally Specifying Contract Optimizations with Bisimulations in Coq

Formally Specifying Contract Optimizations with Bisimulations in Coq

Year: 2025
Media group: OASICS
Cover von Towards Studying the Effect of Compiler Optimizations and Software Randomization on GPU Reliability

Towards Studying the Effect of Compiler Optimizations and Software Randomization on GPU Reliability

Year: 2025
Media group: OASICS
Cover von Data locality optimizations for iterative numerical algorithms and cellular automata on hierarchical memory architectures
Author: Kowarschik, Markus Search for this author
Year: 2004
Publisher: San Diego, Society for Modeling and Simulation International
Series: Advances in simulation; 13
Media group: DISSERTATION
Cover von The compiler design handbook
optimizations and machine code generation
Search for this author
Year: 2002
Publisher: Boca Raton, CRC Press
Media group: MONOGRAPHIE
Cover von Icing
Supporting Fast-Math Style Optimizations in a Verified Compiler : article in LNCS 11561
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11561 article
Media group: ARTICLE
OPEN V 11.1.0.0