Sciweavers

130 search results - page 15 / 26
» Parallel Extrapolation Methods and their Application in Chem...
Sort
View
SAC
2010
ACM
15 years 4 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
HPCN
1995
Springer
15 years 1 months ago
Exploiting high performance Fortran for computational fluid dynamics
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
Kenneth A. Hawick, Geoffrey Fox
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICCS
2007
Springer
15 years 3 months ago
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
Tahsin M. Kurç, Xi Zhang, Manish Parashar, ...
KI
2004
Springer
15 years 2 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster