9110 search results - page 42 / 1822 » Formally-Based Design Evaluation |
OSDI
1994
ACM
14 years 11 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
109
click to vote
TSE
1998
14 years 9 months ago
1998
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Fast spreading worms are a reality, as amply demonstrated by worms such as Slammer, which reached its peak propagation in a matter of minutes. With these kinds of fast spreadin...
108
click to vote
GROUP
2010
ACM
14 years 7 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...