Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey
A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories
Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili
Practical Fine-Grained Information Flow Control Using Laminar
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn Mckinley, Emmett Witchel
© 2001-2024 Fundación Dialnet · Todos los derechos reservados