Sciweavers

6939 search results - page 485 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
IPPS
2008
IEEE
15 years 11 months ago
Receiver-initiated message passing over RDMA Networks
Providing point-to-point messaging-passing semantics atop Put/Get hardware traditionally involves implementing a protocol comprising three network latencies. In this paper, we ana...
Scott Pakin
CW
2003
IEEE
15 years 10 months ago
This Year in the MOVES Institute
The MOVES Institute’s mission is research, application, and education in the grand challenges of modeling, virtual environments, and simulation. Specialties are 3D visual simula...
Michael Zyda, Donald P. Brutzman, Rudy Darken, Joh...
CONCUR
1989
Springer
15 years 8 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
ECOOPW
2000
Springer
15 years 8 months ago
Objects and Classification
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
Marianne Huchard, Robert Godin, Amedeo Napoli
SIGCOMM
2010
ACM
15 years 5 months ago
SwitchBlade: a platform for rapid deployment of network protocols on programmable hardware
We present SwitchBlade, a platform for rapidly deploying custom protocols on programmable hardware. SwitchBlade uses a pipeline-based design that allows individual hardware module...
Muhammad Bilal Anwer, Murtaza Motiwala, Muhammad M...