207 search results - page 38 / 42 » Testing and Model-Checking Techniques for Diagnosis |
CSREAESA
2009
14 years 10 months ago
2009
Two embedded processor based fault injection case studies are presented which are applicable to Field Programmable Gate Arrays (FPGAs) and FPGA cores in configurable System-on-Chip...
BMCBI
2006
2006
A minimally invasive multiple marker approach allows highly efficient detection of meningioma tumors
14 years 9 months ago
Background: The development of effective frameworks that permit an accurate diagnosis of tumors, especially in their early stages, remains a grand challenge in the field of bioinf...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
107
click to vote
ICSE
2012
IEEE-ACM
12 years 12 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...