833 search results - page 167 / 167 » A Design and Test Technique for Embedded Software |
185
Voted
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
SI3D
2005
ACM
15 years 4 months ago
2005
ACM
It is difficult to obtain a specific region within unsegmented volume data (region of interest, ROI). The user must first segment the volume, a task which itself involves signi...
80
Voted
ICNP
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...