1713 search results - page 12 / 343 » Analysis of Procedure Splitability |
CIVR
2009
Springer
14 years 2 months ago
2009
Springer
ENTCS
2010
13 years 8 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
SIAMNUM
2010
13 years 2 months ago
2010
In the solution of Fluid-Structure Interaction problems, partitioned procedures are modular algorithms that involve separate fluid and structure solvers, that interact, in an itera...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...