36 search results - page 6 / 8 » Reducing Inspection Interval in Large-Scale Software Develop... |
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
107
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Over the past few years, swarm based systems have emerged as an attractive paradigm for building large scale distributed systems composed of numerous independent but coordinating ...
BMCBI
2005
14 years 9 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
BMCBI
2010
14 years 10 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...