Sciweavers

1554 search results - page 36 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
EMSOFT
2008
Springer
13 years 9 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
IPPS
2006
IEEE
14 years 1 months ago
Simulation of a hybrid model for image denoising
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
Ricolindo Cariño, Ioana Banicescu, H. Lim, ...
CCGRID
2006
IEEE
14 years 1 months ago
GDSA: A Grid-Based Distributed Simulation Architecture
This paper focuses on architecture suitable for largescale simulation system. Based on the scenario of large-scale internet simulation, the grid technology is introduced and a new...
Suihui Zhu, Zhihui Du, Xudong Chai
IPPS
1999
IEEE
14 years 3 days ago
Qos Control and Adaptation in Distributed Multimedia Systems
Presently, many distributed multimedia systems adapt to their changing environments and Quality of Service (QoS) requirements by exchanging control and feedback data between server...
Farid Naït-Abdesselam, Nazim Agoulmine
CAISE
2001
Springer
14 years 9 days ago
Techniques for Reactive System Design: The Tools in TRADE
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
Roel Wieringa, David N. Jansen