Sciweavers

3404 search results - page 83 / 681
» C Programming Tutorial
Sort
View
PLDI
1989
ACM
15 years 1 months ago
Automatic Generation of DAG Parallelism
Ron Cytron, Michael Hind, Wilson C. Hsieh
IFIP
2000
Springer
15 years 1 months ago
For a smart coordination of distributed business processes
Ricardo J. Rabelo, Alexandra A. Pereira Klen, A. C...
PPDP
2000
Springer
15 years 1 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
ESOP
2011
Springer
14 years 1 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...