Sciweavers

3575 search results - page 405 / 715
» Modeling Concurrency with Geometry
Sort
View
SIGGRAPH
1999
ACM
15 years 11 months ago
Subdivision Schemes for Fluid Flow
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
Henrik Weimer, Joe D. Warren
JBI
2008
15 years 6 months ago
The Field Representation Language
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
Guy Tsafnat
3DOR
2010
15 years 1 months ago
Semantics-Driven Approach for Automatic Selection of Best Views of 3D Shapes
We introduce a new framework for the automatic selection of the best views of 3D models. The approach is based on the assumption that models belonging to the same class of shapes ...
Hamid Laga
ICDE
2004
IEEE
128views Database» more  ICDE 2004»
16 years 8 months ago
Detection and Correction of Conflicting Source Updates for View Maintenance
Data integration over multiple heterogeneous data sources has become increasingly important for modern applications. The integrated data is usually stored in materialized views fo...
Songting Chen, Jun Chen, Xin Zhang, Elke A. Runden...
POPL
2005
ACM
16 years 7 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...