2372 search results - page 31 / 475 » Probabilistic calling context |
CGO
2003
IEEE
14 years 1 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
ACL
2010
13 years 5 months ago
2010
Probabilistic models of sentence comprehension are increasingly relevant to questions concerning human language processing. However, such models are often limited to syntactic fac...
MCU
2007
13 years 9 months ago
2007
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...