Sciweavers

4255 search results - page 311 / 851
» Database: Models, Languages, Design
Sort
View
TOOLS
1999
IEEE
15 years 11 months ago
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
Alexandru Telea
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 11 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
JCC
2000
66views more  JCC 2000»
15 years 7 months ago
The molecular modeling toolkit: A new approach to molecular simulations
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
Konrad Hinsen
DEXAW
2006
IEEE
127views Database» more  DEXAW 2006»
16 years 1 months ago
History Checking of XML Data Streams
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Alessandro Campi, Paola Spoletini
DAWAK
2005
Springer
16 years 21 days ago
Using Schema Transformation Pathways for Incremental View Maintenance
In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialized integrated database. The schemas of the data sources and the integrated ...
Hao Fan