Sciweavers

5707 search results - page 131 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
IJMTM
2006
85views more  IJMTM 2006»
15 years 6 months ago
Simulation in agent-based control systems: MAST case study
: The paper discusses the role of simulation in agent-based control systems. We present the universal runtime interface enabling efficient interactions between the agent control, m...
Pavel Vrba
OR
2006
Springer
15 years 6 months ago
OR for Simulation and Its Optimization
This is an expository paper to promote the potential of OR (Operations Research) for simulation. Three applications will therefore be presented which include call centers, check-in...
Nico M. van Dijk, Erik van der Sluis
RTA
2005
Springer
15 years 12 months ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
JSA
2007
191views more  JSA 2007»
15 years 6 months ago
Automated memory-aware application distribution for Multi-processor System-on-Chips
Mapping of applications on a Multiprocessor System-on-Chip (MP-SoC) is a crucial step to optimize performance, energy and memory constraints at the same time. The problem is formu...
Heikki Orsila, Tero Kangas, Erno Salminen, Timo D....
CLUSTER
2007
IEEE
16 years 25 days ago
Evaluation of fault-tolerant policies using simulation
— Various mechanisms for fault-tolerance (FT) are used today in order to reduce the impact of failures on application execution. In the case of system failure, standard FT mechan...
Anand Tikotekar, Geoffroy Vallée, Thomas Na...