Sciweavers

487 search results - page 65 / 98
» A Compiled Implementation of Normalization by Evaluation
Sort
View
98
Voted
EDCC
2010
Springer
15 years 4 months ago
HP: Hybrid Paxos for WANs
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...
Dan Dobre, Matthias Majuntke, Marco Serafini, Neer...
SPAA
2000
ACM
15 years 4 months ago
Algorithmic foundations for a parallel vector access memory system
This paper presents mathematical foundations for the design of a memory controller subcomponent that helps to bridge the processor/memory performance gap for applications with str...
Binu K. Mathew, Sally A. McKee, John B. Carter, Al...
DEBS
2010
ACM
15 years 3 months ago
Reliable complex event detection for pervasive computing
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
Dan O'Keeffe, Jean Bacon
EDCC
2006
Springer
15 years 3 months ago
Construction of a Highly Dependable Operating System
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
NN
2006
Springer
100views Neural Networks» more  NN 2006»
14 years 11 months ago
Perceiving the unusual: Temporal properties of hierarchical motor representations for action perception
Recent computational approaches to action imitation have advocated the use of hierarchical representations in the perception and imitation of demonstrated actions. Hierarchical re...
Yiannis Demiris, Gavin Simmons