212 search results - page 34 / 43 » Completeness and Complexity of Bounded Model Checking |
EUC
2007
Springer
15 years 5 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
82
Voted
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
127
click to vote
3DIM
1997
IEEE
15 years 4 months ago
1997
IEEE
Geometric fusion of multiple sets of overlapping surface measurements is an important problem for complete 3D object or environment modelling. Fusion based on a discrete implicit ...
118
click to vote
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
100
click to vote
SIGSOFT
2004
ACM
16 years 14 days ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...