1227 search results - page 204 / 246 » Using Generation for Grammar Analysis and Error Detection |
SSS
2010
Springer
14 years 7 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
JSS
2002
14 years 9 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...