4036 search results - page 362 / 808 » Formal Methods |
172
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
219
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
148
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper, we propose a method based on multiple criteria to assist physicians in planning percutaneous RFA on liver. We explain how we extracted information from literature an...
183
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...
210
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...