2555 search results - page 138 / 511 » Quantifiers and Working Memory |
138
Voted
JAR
2006
15 years 3 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
118
Voted
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Recent developments in MR data acquisition technology are starting to yield images that show anatomical features of the hippocampal formation at an unprecedented level of detail, p...
137
Voted
SPAA
2006
ACM
15 years 9 months ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...
127
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
118
Voted
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Register promotion is an optimization that allocates a value to a register for a region of its lifetime where it is provably not aliased. Conventional compiler analysis cannot alw...