Sciweavers

1886 search results - page 343 / 378
» Verifying and validating a simulation model
Sort
View
AISC
2008
Springer
14 years 11 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
96
Voted
PST
2008
14 years 11 months ago
The Uncertainty of the Truth
Can we trust without any reliable truth information? Most trust architectures work in a similar way: a trustor makes some observations, rates the trustee, and makes recommendations...
Michel Deriaz
APVIS
2009
14 years 10 months ago
Interactive feature extraction and tracking by utilizing region coherency
The ability to extract and follow time-varying flow features in volume data generated from large-scale numerical simulations enables scientists to effectively see and validate mod...
Chris Muelder, Kwan-Liu Ma
ISLPED
2010
ACM
153views Hardware» more  ISLPED 2010»
14 years 10 months ago
Leakage minimization using self sensing and thermal management
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
Alireza Vahdatpour, Miodrag Potkonjak
AUTOMATICA
2008
108views more  AUTOMATICA 2008»
14 years 9 months ago
Closed-loop identification of multivariable systems: With or without excitation of all references?
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...