2 citations · 2 across the 2 of their papers we have counts for
3 papers
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
David G. Wonnacott, Peter-Michael Osera
There is a sharp disconnect between the programming and mathematical portions of the standard undergraduate computer science curriculum, leading to student misunderstanding about h…
Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs
Tian Jin, Nirmal Prajapati, Waruna Ranasinghe +4
Polyhedral compilers perform optimizations such as tiling and parallelization; when doing both, they usually generate code that executes "barrier-synchronized wavefronts" of tiles.…
X-ray Spectra of the RIXOS source sample
J. P. D. Mittaz, F. J. Carrera, E. Romero-Colmenero +8
We present results of an extensive study of the X-ray spectral properties of sources detected in the RIXOS survey, that is nearly complete down to a flux limit of 3e-14 cgs (0.5-2…