Sciweavers

3943 search results - page 211 / 789
» Architecture-Level Requirements Specification
Sort
View
IMR
2003
Springer
15 years 11 months ago
Multiple Stationary and Moving Boundary Handling in Cartesian Grids
A Cartesian grid generation methodology is developed for unsteady control volume computational fluid dynamic (CFD) solvers. Arbitrary combinations and numbers of moving and statio...
Kerem Pekkan
IPPS
1999
IEEE
15 years 11 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
15 years 11 months ago
Shape-based sequential machine analysis
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
A. Crews, F. Brewer
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
15 years 11 months ago
Model-Integrated Programming
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
Hubertus Franke, Janos Sztipanovits, Gabor Karsai
VLDB
1998
ACM
103views Database» more  VLDB 1998»
15 years 10 months ago
The Drill Down Benchmark
Data Mining places specific requirements on DBMS query performance that cannot be evaluated satisfactorily using existing OLAP benchmarks. The DD Benchmark - defined here - provid...
Peter A. Boncz, Tim Rühl, Fred Kwakkel