Sciweavers

5707 search results - page 171 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
SIES
2009
IEEE
16 years 1 months ago
A modular fast simulation framework for stream-oriented MPSoC
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
Kai Huang, Iuliana Bacivarov, Jun Liu, Wolfgang Ha...
HPCS
2007
IEEE
16 years 27 days ago
Utilizing Averaged Configuations from Molecular Dynamics Simulation Trajectories
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
Peter G. Kusalik, K. Gillis, J. Vatamanu
PPAM
2007
Springer
16 years 21 days ago
Parallel Simulated Annealing Algorithm for Graph Coloring Problem
Abstract. The paper describes an application of Parallel Simulated Annealing (PSA) for solving one of the most studied NP-hard optimization problems: Graph Coloring Problem (GCP). ...
Szymon Lukasik, Zbigniew Kokosinski, Grzegorz Swie...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 19 days ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
ANSS
2005
IEEE
16 years 6 days ago
GIPSE: Streamlining the Management of Simulation on the Grid
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
Justin M. Wozniak, Aaron Striegel, David Salyers, ...