Sciweavers

10539 search results - page 149 / 2108
» On L
Sort
View
101
Voted
OSDI
1996
ACM
15 years 5 months ago
Studies of Windows NT Performance Using Dynamic Execution Traces
Sharon E. Perl, Richard L. Sites
91
Voted
SLP
1994
68views more  SLP 1994»
15 years 5 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
110
Voted
USENIX
1993
15 years 5 months ago
The Organization of Networks in Plan 9
David L. Presotto, Phil Winterbottom
97
Voted
AAAI
1992
15 years 4 months ago
Automatic Abduction of Qualitative Models
Bradley L. Richards, Ina Kraan, Benjamin Kuipers