Sciweavers

10604 search results - page 109 / 2121
» Computational Fluid Dynamics
Sort
View
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
14 years 4 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 4 months ago
Sensitivity analysis and computational uncertainty with applications to control of nonlinear parabolic partial differential equa
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
John A. Burns, Lisa G. Davis
COLING
2008
13 years 11 months ago
Semantic Visualization and Meaning Computation
We present here VISUSYN, a prototype we developed in order to study meaning construction. This software implements the model of dynamic construction of meaning proposed by Victorr...
Fabienne Venant
ICSE
2004
IEEE-ACM
14 years 3 months ago
Semantics-Aware Services for the Mobile Computing Environment
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tart...
WICSA
2004
13 years 11 months ago
Software Architecture for Mobile Distributed Computing
Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the
Valérie Issarny, Ferda Tartanoglu, Jinshan ...