101
click to vote
SIGMETRICS
1996
ACM
15 years 6 months ago
1996
ACM
abstraction and a mechanized execution strategy, we are able to quickly construct working prototypes which can immediately be evaluated each of three environments: a device driver ...