Sciweavers

3404 search results - page 83 / 681
» C Programming Tutorial
Sort
View
PLDI
1989
ACM
15 years 10 months ago
Automatic Generation of DAG Parallelism
Ron Cytron, Michael Hind, Wilson C. Hsieh
IFIP
2000
Springer
15 years 10 months ago
For a smart coordination of distributed business processes
Ricardo J. Rabelo, Alexandra A. Pereira Klen, A. C...
PPDP
2000
Springer
15 years 9 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
ESOP
2011
Springer
14 years 9 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
JMLR
2012
13 years 8 months ago
High-dimensional Sparse Inverse Covariance Estimation using Greedy Methods
Christopher C. Johnson, Ali Jalali, Pradeep D. Rav...