1523 search results - page 213 / 305 » Partially ordered secretaries |
128
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
92
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
94
Voted
ISMM
2009
Springer
15 years 7 months ago
2009
Springer
In order to describe anisotropy in image processing models or physical measurements, matrix fields are a suitable choice. In diffusion tensor magnetic resonance imaging (DT-MRI),...
110
Voted
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabul...
122
Voted
PRIB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...