2005 |
12 | EE | Sadik Ezer,
Scott Johnson:
Smart diagnostics for configurable processor verification.
DAC 2005: 789-794 |
2003 |
11 | | Scott Johnson:
Measuring CPU Time from Hyper-Threading Enabled Intel Processors.
Int. CMG Conference 2003: 369-378 |
10 | EE | John Nickolls,
L. J. Madar III,
Scott Johnson,
Viresh Rustagi,
Ken Unger,
Mustafiz Choudhury:
Calisto: A Low-Power Single-Chip Multiprocessor Communications Platform.
IEEE Micro 23(2): 29-43 (2003) |
2000 |
9 | EE | Scott Johnson,
Farnam Jahanian,
Sunondo Ghosh,
Brian Van Voorst,
Nicholas Weininger:
Experiences with Group Communication Middleware.
DSN 2000: 37-42 |
1999 |
8 | EE | Scott Johnson,
Farnam Jahanian,
Jigney Shah:
The Inter-group Router Approach to Scalable Group Composition.
ICDCS 1999: 4-14 |
7 | | Tarek F. Abdelzaher,
Scott Dawson,
Wu-chang Feng,
Farnam Jahanian,
Scott Johnson,
Ashish Mehra,
Todd Mitton,
Anees Shaikh,
Kang G. Shin,
Zhiqun Wang,
Hengming Zou,
M. Bjorkland,
P. Marron:
ARMADA Middleware and Communication Services.
Real-Time Systems 16(2-3): 127-153 (1999) |
1995 |
6 | | Scott Johnson:
Quality Control for Hypertext Construction.
Commun. ACM 38(8): 87 (1995) |
1994 |
5 | EE | W. G. Nisen,
Jeff von Limback,
Scott Johnson,
Kent Summers,
Maurice Shephard:
Private Sector Perspectives on Advances in Hypermedia (Panel).
ECHT 1994: 250 |
1986 |
4 | EE | Scott Johnson:
A new proof of the Erdos-Szekeres convex k-gon result.
J. Comb. Theory, Ser. A 42(2): 318-319 (1986) |
1983 |
3 | | John Nagle,
Scott Johnson:
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software.
POPL 1983: 48-58 |
1982 |
2 | | Robert L. Constable,
Scott Johnson,
C. D. Eichenlaub:
An Introduction to the PL/CV2 Programming Logic
Springer 1982 |
1979 |
1 | EE | Robert L. Constable,
Scott Johnson:
A PL/CV Precis.
POPL 1979: 7-20 |