2509 search results - page 250 / 502 » Abstract Geometrical Computation and Computable Analysis |
154
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
139
click to vote
JNS
2010
15 years 5 months ago
2010
ABSTRACT. We consider a general family of regularized Navier-Stokes and Magnetohydrodynamics (MHD) models on n-dimensional smooth compact Riemannian manifolds with or without bound...
211
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...
240
click to vote
CLOUDCOM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Driven by the need to provision resources on demand, scientists are turning to commercial and research test-bed Cloud computing resources to run their scientific experime...
148
click to vote
ICA3PP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...