1052 search results - page 90 / 211 » Understanding POWER multiprocessors |
113
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
134
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
116
click to vote
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, we introduce the use of nonlinear dimension reduction for the analysis of functional neuroimaging datasets. Using a Laplacian Embedding approach, we show the power ...
124
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
111
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
NAMD is a scalable molecular dynamics application, which has demonstrated its performance on several parallel computer architectures. Strong scaling is necessary for molecular dyn...