34 results on '"Ruf, Erik"'
Search Results
2. A feasibility study on obtaining d-orbital populations from aspherical-atom refinements on three spin crossover compounds
3. Improving the Precision of Equality-Based Dataflow Analyses
4. Alkali salts of amino acids as alkaline additives for neutralization of acidic corrosion inhibitors
5. Natural Product-Derived Phosphonic Acids as Corrosion Inhibitors for Iron and Steel
6. Direct GPU/FPGA communication Via PCI express
7. Automatic online partial evaluation
8. Improving the Precision of Equality-Based Dataflow Analyses
9. LogScheme: Integrating logic programming into Scheme
10. Automatic online partial evaluation
11. Synthesis and Structural Analysis of 1,4,7,10‐Tetraazacyclododecane‐1,4,7,10‐tetraazidoethylacetic Acid (DOTAZA) Complexes
12. Synthesis of 1,4,7,10-Tetra-azacyclododecan-1,4,7,10-tetra-azidoethylacetic Acid (DOTAZA) and Related “Clickable” DOTA Derivatives
13. Direct GPU/FPGA communication Via PCI express
14. Direct GPU/FPGA Communication via PCI Express
15. An inexpensive bounding representation for offsets of quadratic curves
16. Embedded function composition
17. An inexpensive bounding representation for offsets of quadratic curves.
18. Embedded function composition.
19. Effective synchronization removal for Java.
20. Effective synchronization removal for Java
21. Marmot: an optimizing compiler for Java
22. Partitioning dataflow analyses using types
23. Data specialization
24. Context-insensitive alias analysis reconsidered
25. Optimizing sparse representations for dataflow analysis
26. Specializing shaders
27. On the specialization of online program specializers
28. Data specialization.
29. Context-insensitive alias analysis reconsidered.
30. Optimizing sparse representations for dataflow analysis.
31. Using types to avoid redundant specialization.
32. Nondeterminism and unification in LogScheme: integrating logic and functional programming.
33. Using types to avoid redundant specialization
34. Nondeterminism and unification in LogScheme: integrating logic and functional programming
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.