Dataflow analysis for concurrent programs using datarace detection von Chugh, Ravi, Voung, Jan W., Jhala, Ranjit, Lerner, Sorin

Volltext

Towards an algebra for lighting simulation von Glaser, Daniel C., Feng, Osbert, Voung, Jan, Xiao, Ling

Volltext

Towards an algebra for lighting simulation von Glaser, Daniel C, Feng, Osbert, Voung, Jan, Xiao, Ling

Volltext

Intra-module Inference von Lahiri, Shuvendu K., Qadeer, Shaz, Galeotti, Juan P., Voung, Jan W., Wies, Thomas

Volltext

Machine-specific instruction set translation von Yee Bennet S, Sehr David C, Voung Jan, Muth Robert, Schuff Derek L, Chen J. Bradley

Volltext bestellen

Machine-Specific Instruction Set Translation von YEE BENNET S, CHEN J. BRADLEY, SEHR DAVID C, SCHUFF DEREK L, MUTH ROBERT, VOUNG JAN

Volltext bestellen

Machine-specific instruction set translation von YEE BENNET S, CHEN J. BRADLEY, SEHR DAVID C, SCHUFF DEREK L, MUTH ROBERT, VOUNG JAN

Volltext bestellen

Machine-Specific Instruction Set Translation von YEE BENNET S, CHEN J. BRADLEY, SEHR DAVID C, SCHUFF DEREK L, MUTH ROBERT, VOUNG JAN

Volltext bestellen

Method and apparatus for modeling and analyzing light von XIAO LING, GLASER DANIEL C, VOUNG JAN

Volltext bestellen