Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction., and . Int. J. Comput. Math. Learn., 7 (2): 145-165 (2002)Static Single Assignment Form for machine Code., and . PLDI, page 204-214. ACM, (1999)R-Stream Compiler., , , , , and . Encyclopedia of Parallel Computing, Springer, (2011)A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP., , and . IEEE PACT, page 158-. IEEE Computer Society, (1998)Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: performance and tradeoffs., , and . HiPC, page 215-224. IEEE Computer Society, (1996)Scheduling time-constrained instructions on pipelined processors., , and . ACM Trans. Program. Lang. Syst., 23 (1): 73-103 (2001)TimeC: A Time Constraint Language for ILP Processor Compilation., , and . Constraints An Int. J., 7 (2): 75-115 (2002)Run-Time versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Trade-Off., , and . J. Parallel Distributed Comput., 45 (1): 13-28 (1997)Dragging in a Dynamic Geometry Environment Through the Lens of Variation.. Int. J. Comput. Math. Learn., 13 (2): 135-157 (2008)Machine Level Optimizations for High Level Languages.. New York University, USA, (2001)