Sciweavers

1163 search results - page 220 / 233
» Concurrent Subspaces Analysis
Sort
View
BMCBI
2008
77views more  BMCBI 2008»
14 years 9 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
IPPS
2010
IEEE
14 years 7 months ago
PreDatA - preparatory data analytics on peta-scale machines
Peta-scale scientific applications running on High End Computing (HEC) platforms can generate large volumes of data. For high performance storage and in order to be useful to scien...
Fang Zheng, Hasan Abbasi, Ciprian Docan, Jay F. Lo...
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
13 years 4 days ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
DAC
2007
ACM
15 years 10 months ago
Implicitly Parallel Programming Models for Thousand-Core Microprocessors
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
Wen-mei W. Hwu, Shane Ryoo, Sain-Zee Ueng, John H....
MICCAI
2006
Springer
15 years 10 months ago
Segmentation of Neck Lymph Nodes in CT Datasets with Stable 3D Mass-Spring Models
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
Bernhard Preim, Gero Strauß, Heiko Seim, Ilk...