Sciweavers

8695 search results - page 1549 / 1739
» Making the Complex Simple
Sort
View
ESOP
2004
Springer
16 years 11 days ago
Resources, Concurrency, and Local Reasoning (Abstract)
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
Peter W. O'Hearn
164
Voted
FPL
2004
Springer
171views Hardware» more  FPL 2004»
16 years 11 days ago
A Modular System for FPGA-Based TCP Flow Processing in High-Speed Networks
Field Programmable Gate Arrays (FPGAs) can be used in Intrusion Prevention Systems (IPS) to inspect application data contained within network flows. An IPS operating on high-speed...
David V. Schuehler, John W. Lockwood
198
Voted
GPCE
2004
Springer
16 years 10 days ago
Taming Macros
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
Ryan Culpepper, Matthias Felleisen
HSNMC
2004
Springer
125views Multimedia» more  HSNMC 2004»
16 years 10 days ago
A Pull-Based Approach for a VoD Service in P2P Networks
We study a new approach to provide an efficient VoD service to a large client population in P2P networks. Previous work has suggested to construct a multicast tree to distribute t...
Anwar Al Hamra, Ernst W. Biersack, Guillaume Urvoy...
282
Voted
IWAN
2004
Springer
16 years 10 days ago
GateScript: A Scripting Language for Generic Active Gateways
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
Hoa-Binh Nguyen, Andrzej Duda
« Prev « First page 1549 / 1739 Last » Next »