lectures:lta:lta13
 
Trace:

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
lectures:lta:lta13 [2013/12/16 09:12] – [SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00] krivkalectures:lta:lta13 [2013/12/16 17:16] (current) – [SESSION 3 - ADVANCED COMPILER WRITING: Wednesday, December 18, 2013, 10:00 - 13:00] krivka
Line 101: Line 101:
       * [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Optimizing Compilers - Enhancing Fine-Grained Parallelism       * [[xniklv00@stud.fit.vutbr.cz|Nikl Vojtěch]]: Optimizing Compilers - Enhancing Fine-Grained Parallelism
       * [[xrysav17@stud.fit.vutbr.cz|Ryšavý Michal]], [[xsenko01@stud.fit.vutbr.cz|Senko Jozef]]: Optimiziing Compiler - Creating Coarse-Grained Parallelism ({{:lectures:lta:2013_abstracts:vype_xsenko01_xrysav17_abstract.pdf|Abstract}})       * [[xrysav17@stud.fit.vutbr.cz|Ryšavý Michal]], [[xsenko01@stud.fit.vutbr.cz|Senko Jozef]]: Optimiziing Compiler - Creating Coarse-Grained Parallelism ({{:lectures:lta:2013_abstracts:vype_xsenko01_xrysav17_abstract.pdf|Abstract}})
 +      * [[xkaspa34@stud.fit.vutbr.cz|Kašpar David]]: Predator - A Formal Verification Tool ({{:lectures:lta:2013_abstracts:lta_xkaspa34_abstract.pdf|Abstract}})
     * 11:30 - 11:40     * 11:30 - 11:40
       * Coffee break       * Coffee break
lectures/lta/lta13.1387181557.txt.gz · Last modified: 2013/12/16 09:12 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki