Sciweavers

4747 search results - page 672 / 950
» Shuffle Memory System
Sort
View
SSD
2007
Springer
96views Database» more  SSD 2007»
16 years 24 days ago
Continuous Monitoring of Exclusive Closest Pairs
Given two datasets A and B, their exclusive closest pairs (ECP) join is a one-to-one assignment of objects from the two datasets, such that (i) the closest pair (a, b) in A×B is i...
Leong Hou U, Nikos Mamoulis, Man Lung Yiu
TACAS
2007
Springer
103views Algorithms» more  TACAS 2007»
16 years 24 days ago
A Reachability Predicate for Analyzing Low-Level Software
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...
DATE
2006
IEEE
116views Hardware» more  DATE 2006»
16 years 23 days ago
Adaptive data placement in an embedded multiprocessor thread library
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
Phillip Stanley-Marbell, Kanishka Lahiri, Anand Ra...
GLOBECOM
2006
IEEE
16 years 22 days ago
A Network Calculus Approach to Probabilistic Quality of Service Analysis of Fading Channels
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
Markus Fidler
IJCNN
2006
IEEE
16 years 22 days ago
SOM-Based Sparse Binary Encoding for AURA Classifier
—The AURA k-Nearest Neighbour classifier associates binary input and output vectors, forming a compact binary Correlation Matrix Memory (CMM). For a new input vector, matching ve...
Simon O'Keefe