1713 search results - page 94 / 343 » Analysis of Procedure Splitability |
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
WSC
2007
14 years 21 days ago
2007
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...
CAV
2008
Springer
14 years 12 days ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
DSN
2008
IEEE
14 years 5 days ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
DICTA
2007
13 years 12 months ago
2007
Texture analysis of the liver for the diagnosis of cirrhosis is usually region-of-interest (ROI) based. Integrity of the label of ROI data may be a problem due to sampling. This p...