1021 search results - page 97 / 205 » On the generalized Navier-Stokes equations |
108
Voted
SIGCOMM
2005
ACM
15 years 6 months ago
2005
ACM
We study limitations of an equation-based congestion control protocol, called TFRC (TCP Friendly Rate Control). It examines how the three main factors that determine TFRC throughp...
158
Voted
POPL
1994
ACM
15 years 4 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
98
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
In this paper we give a specification of a new block cipher that can be called the Courtois Toy Cipher (CTC). It is quite simple, and yet very much like any other known block ciph...
124
Voted
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
119
click to vote
PPSC
1997
15 years 2 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...