16616 search results - page 435 / 3324 » Extending Extended Vacuity |
167
click to vote
LCPC
2009
Springer
16 years 7 days ago
2009
Springer
Classic loop unrolling allows to increase the performance of sequential loops by reducing the overheads of the non-computational parts of the loop. Unfortunately, when the loop con...
244
click to vote
UML
2001
Springer
16 years 2 days ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
196
click to vote
INFOCOM
2000
IEEE
16 years 1 days ago
2000
IEEE
—Several analytic models describe the steady-state throughput of bulk transfer TCP flows as a function of round trip time and packet loss rate. These models describe flows base...
270
click to vote
ECOOP
1998
Springer
15 years 12 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
167
click to vote
TLCA
1997
Springer
15 years 11 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...