1714 search results - page 228 / 343 » Abstract Models of Memory Management |
132
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
111
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
140
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
118
click to vote
HIPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...
120
click to vote
WIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...