Sciweavers

5235 search results - page 180 / 1047
» Analysis of Multithreaded Programs
Sort
View
144
Voted
APSEC
2001
IEEE
15 years 10 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
PEPM
1995
ACM
15 years 10 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck