37217 search results - page 7176 / 7444 » or 2010 |
143
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a framework for statistical analysis in large cohorts of structural brain connectivity, derived from diffusion weighted MRI. A brain network is defined betwe...
199
click to vote
MICRO
2010
IEEE
15 years 5 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
180
click to vote
MICS
2010
15 years 5 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
246
click to vote
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
203
click to vote
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...