504 search results - page 63 / 101 » Explaining Verification Conditions |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
HVEI
2010
13 years 8 months ago
2010
Factors governing human preference for artwork have long been studied but there remain many holes in our understanding. Bearing in mind contextual factors (both the conditions und...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to pl...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...