Sciweavers

5757 search results - page 1019 / 1152
» Dynamic Policy Programming
Sort
View
INFOCOM
1999
IEEE
14 years 1 months ago
Design and Performance of a Web Server Accelerator
We describe the design, implementation and performance of a Web server accelerator which runs on an embedded operating system and improves Web server performance by caching data. ...
Eric Levy-Abegnoli, Arun Iyengar, Junehwa Song, Da...
IPPS
1999
IEEE
14 years 1 months ago
Using Channels for Multimedia Communication
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...
David May, Henk L. Muller
FSTTCS
1999
Springer
14 years 1 months ago
Hoare Logic for Mutual Recursion and Local Variables
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
David von Oheimb
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
14 years 1 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
ICS
1999
Tsinghua U.
14 years 1 months ago
Improving virtual function call target prediction via dependence-based pre-computation
We introduce dependence-based pre-computation as a complement to history-based target prediction schemes. We present pre-computation in the context of virtual function calls (v-ca...
Amir Roth, Andreas Moshovos, Gurindar S. Sohi
« Prev « First page 1019 / 1152 Last » Next »