17 search results - page 4 / 4 » On the Causality of Mixed-Signal and Hybrid Models |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
KES
2008
Springer
13 years 3 months ago
2008
Springer
Abstract. Motivation: Although studies have shown that genetic alterations are causally involved in numerous human diseases, still not much is known about the molecular mechanisms ...