108 search results - page 17 / 22 » Remote Model Reduction of Very Large Linear Systems |
119
click to vote
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
EUROGRAPHICS
2010
Eurographics
15 years 6 months ago
2010
Eurographics
Interpolating vertex positions among triangle meshes with identical vertex-edge graphs is a fundamental part of many geometric modelling systems. Linear vertex interpolation is ro...
ISDA
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
165
Voted
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
107
click to vote
ANSS
1996
IEEE
15 years 1 months ago
1996
IEEE
The asymptotic bias and variance are important determinants of the quality of a simulation run. In particular, the asymptotic bias can be used to approximate the bias introduced b...