Sciweavers

3637 search results - page 300 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
JCNS
2010
100views more  JCNS 2010»
15 years 5 months ago
Morphologically accurate reduced order modeling of spiking neurons
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
Anthony R. Kellems, Saifon Chaturantabut, Danny C....
JPDC
2010
137views more  JPDC 2010»
15 years 5 months ago
Parallel exact inference on the Cell Broadband Engine processor
—We present the design and implementation of a parallel exact inference algorithm on the Cell Broadband Engine (Cell BE). Exact inference is a key problem in exploring probabilis...
Yinglong Xia, Viktor K. Prasanna
OOPSLA
2010
Springer
15 years 5 months ago
Instrumentation and sampling strategies for cooperative concurrency bug isolation
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan L...
PE
2010
Springer
170views Optimization» more  PE 2010»
15 years 5 months ago
Approximating passage time distributions in queueing models by Bayesian expansion
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
Giuliano Casale
SIGMETRICS
2010
ACM
156views Hardware» more  SIGMETRICS 2010»
15 years 5 months ago
A query language and runtime tool for evaluating behavior of multi-tier servers
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
Saeed Ghanbari, Gokul Soundararajan, Cristiana Amz...