8828 search results - page 373 / 1766 » Formal methods in practice |
181
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
175
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
201
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
The need for mining causality, beyond mere statistical correlations, for real world problems has been recognized widely. Many of these applications naturally involve temporal data...
232
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Inference of population stratification and individual admixture from genetic markers is an integrative part of a study in diverse situations, such as association mappi...
144
click to vote
MOC
2000
15 years 6 months ago
2000
Let {Sm} be an infinite sequence whose limit or antilimit S can be approximated very efficiently by applying a suitable extrapolation method E0 to {Sm}. Assume that the Sm and henc...