68 search results - page 10 / 14 » Gauss: A Framework for Verifying Scientific Computing Softwa... |
MIDDLEWARE
2004
Springer
14 years 27 days ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...
BMCBI
2010
13 years 7 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
The recent advances in hardware and software have enabled the capture of different measurements of data in a wide range of fields. These measurements are generated continuously an...
CONCURRENCY
2006
13 years 7 months ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
EMSOFT
2011
Springer
12 years 7 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...