21910 search results - page 4336 / 4382 » The virtual network system |
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we present results from a detailed measurement study of TCP (Transmission Control Protocol) running over a wireless link. Our primary goal was on obtaining a breakdo...
122
click to vote
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The knowledge representation tradition in computational lexicon design represents words as static encapsulations of purely lexical knowledge. We suggest that this view po...
108
click to vote
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
Continued device scaling enables microprocessors and other systems-on-chip (SoCs) to increase their performance, functionality, and hence, complexity. Simultaneously, relentless s...