Sciweavers

265 search results - page 17 / 53
» Modelling series of studies with a common structure
Sort
View
FORMATS
2007
Springer
14 years 2 months ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
ICSEA
2008
IEEE
14 years 2 months ago
A UML Based Methodology to Ease the Modeling of a Set of Related Systems
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
Firas Alhalabi, Mathieu Maranzana, Jean-Louis Sour...
CSC
2006
13 years 9 months ago
Numerical Experiments on the Generation of Normal Mode Rossby Waves
s Normal mode Rossby waves are simulated with an efficient Double Fourier Series (DFS) spectral model, and their structures are investigated by the Empirical Orthogonal Function (E...
Hyeong-Bin Cheong, In-Hyuk Kwon
HPDC
2009
IEEE
14 years 3 months ago
Trace-based evaluation of job runtime and queue wait time predictions in grids
Large-scale distributed computing systems such as grids are serving a growing number of scientists. These environments bring about not only the advantages of an economy of scale, ...
Omer Ozan Sonmez, Nezih Yigitbasi, Alexandru Iosup...
EGPGV
2011
Springer
366views Visualization» more  EGPGV 2011»
12 years 12 months ago
GPU Algorithms for Diamond-based Multiresolution Terrain Processing
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
M. Adil Yalçin, Kenneth Weiss, Leila De Flo...