Sciweavers

1051 search results - page 111 / 211
» Single Run Optimization Using the Reverse-Simulation Method
Sort
View
HAIS
2009
Springer
15 years 9 months ago
Pareto-Based Multi-output Model Type Selection
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
Dirk Gorissen, Ivo Couckuyt, Karel Crombecq, Tom D...
SPAA
1996
ACM
15 years 9 months ago
Constant Time per Edge is Optimal on Rooted Tree Networks
We analyze the relationship between the expected packet delay in rooted tree networks and the distribution of time needed for a packet to cross an edge using convexity-based stoch...
Michael Mitzenmacher
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
15 years 11 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...
CCGRID
2005
IEEE
15 years 10 months ago
User group-based workload analysis and modelling
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
Baiyi Song, Carsten Ernemann, Ramin Yahyapour
JECR
2002
220views more  JECR 2002»
15 years 4 months ago
Usability for Mobile Commerce Across Multiple Form Factors
Current research on usability for mobile commerce has focused on single platforms and very limited aspects of commerce activities. We conducted an exploratory study to examine usa...
Susy S. Chan, Xiaowen Fang, Jack R. Brzezinski, Ya...