1448 search results - page 7 / 290 » Restricted Stack Implementations |
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
TACAS
2005
Springer
14 years 28 days ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
PLDI
2000
ACM
13 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
WSC
2007
13 years 9 months ago
2007
The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are ...
PAM
2005
Springer
14 years 29 days ago
2005
Springer
This extended abstract present findings on measured TCP performance of a range of network stacks. We have found that there are significant differences between the TCP implementa...