391 search results - page 36 / 79 » Sortabilities of Partition Properties |
98
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images. Our approach is grounded on the theoretically well-founded differential...
106
Voted
OSDI
2002
ACM
16 years 1 months ago
2002
ACM
Ivy is a multi-user read/write peer-to-peer file system. Ivy has no centralized or dedicated components, and it provides useful integrity properties without requiring users to ful...
102
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
109
click to vote
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
166
click to vote
DLS
2009
14 years 10 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...