Sciweavers

2796 search results - page 380 / 560
» The coolest path problem
Sort
View
PLDI
2009
ACM
16 years 1 months ago
GC assertions: using the garbage collector to check heap properties
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
Edward Aftandilian, Samuel Z. Guyer
EDBT
2009
ACM
162views Database» more  EDBT 2009»
16 years 1 months ago
A data model for trip planning in multimodal transportation systems
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel...
ICS
2009
Tsinghua U.
16 years 1 months ago
Cancellation of loads that return zero using zero-value caches
The speed gap between processor and memory continues to limit performance. To address this problem, we explore the potential of eliminating Zero Loads—loads accessing memory loc...
Md. Mafijul Islam, Sally A. McKee, Per Stenstr&oum...
IAT
2009
IEEE
16 years 1 months ago
Social Trust-Aware Recommendation System: A T-Index Approach
Collaborative Filtering based on similarity suffers from a variety of problems such as sparsity and scalability. In this paper, we propose an ontological model of trust between us...
Alireza Zarghami, Soude Fazeli, Nima Dokoohaki, Mi...
ICC
2009
IEEE
122views Communications» more  ICC 2009»
16 years 1 months ago
A Partial-Protection Approach Using Multipath Provisioning
—We study the problem of reliably provisioning traffic using multipath routing in a mesh network. Traditional approaches handled reliability requirements using full-protection s...
Ananya Das, Charles U. Martel, Biswanath Mukherjee