1678 search results - page 167 / 336 » An ASM Specification of C |
172
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
190
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...
137
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Stable isotope tracing with ultra-high resolution Fourier transform-ion cyclotron resonance-mass spectrometry (FT-ICR-MS) can provide simultaneous determination of hun...
191
click to vote
FOCM
2008
15 years 6 months ago
2008
We consider the problem of finding a singularity of a differentiable vector field X defined on a complete Riemannian manifold. We prove a unified result for the existence and local...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...