Sciweavers

11653 search results - page 127 / 2331
» The Development of the C Language
Sort
View
PPDP
2000
Springer
15 years 10 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
ESOP
2011
Springer
14 years 10 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
JMLR
2012
13 years 9 months ago
High-dimensional Sparse Inverse Covariance Estimation using Greedy Methods
Christopher C. Johnson, Ali Jalali, Pradeep D. Rav...