345 search results - page 41 / 69 » Computer-Assisted Simulation Proofs |
AUTOMATICA
2007
15 years 2 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
127
Voted
MEMOCODE
2010
IEEE
15 years 11 days ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
151
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
A distance oracle is a compact representation of the shortest distance matrix of a graph. It can be queried to retrieve approximate distances and corresponding paths between any p...
113
click to vote
ENTCS
2007
15 years 2 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
130
click to vote
MOC
1998
15 years 2 months ago
1998
Boundary integral methods to simulate interfacial flows are very sensitive to numerical instabilities. In addition, surface tension introduces nonlinear terms with high order spat...