1713 search results - page 94 / 343 » Analysis of Procedure Splitability |
123
click to vote
KBSE
1997
IEEE
15 years 5 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...
111
click to vote
WSC
2007
15 years 3 months 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 ...
83
Voted
CAV
2008
Springer
15 years 2 months 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...
110
click to vote
DSN
2008
IEEE
15 years 2 months 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...
105
Voted
DICTA
2007
15 years 2 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...