Sciweavers

822 search results - page 36 / 165
» Using simulated annealing for producing software architectur...
Sort
View
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
15 years 5 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...
ICDE
2005
IEEE
165views Database» more  ICDE 2005»
16 years 3 months ago
Querying and Visualizing Gridded Datasets for e-Science
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
Bill Howe, David Maier
ACAL
2007
Springer
15 years 7 months ago
Investigating a Hybrid Metaheuristic for Job Shop Rescheduling
Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (anti...
Salwani Abdullah, Uwe Aickelin, Edmund K. Burke, A...
CCGRID
2006
IEEE
15 years 7 months ago
Integrating the HLA RTI Services with Scilab
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
Thitima Theppaya, Pichaya Tandayya, Chatchai Janta...
IPPS
2008
IEEE
15 years 8 months ago
Reducing the run-time of MCMC programs by multithreading on SMP architectures
The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov Chain Mont...
Jonathan M. R. Byrd, Stephen A. Jarvis, A. H. Bhal...