Sciweavers

189 search results - page 2 / 38
» Modeling Concurrent Real-Time Processes Using Discrete Event...
Sort
View
FORTE
2001
13 years 6 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
WSC
1997
13 years 6 months ago
Real Time Discrete Event Simulation of a PCB Production System for Operational Support
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
Mats Jackson, Christer Johansson
DEDS
2010
157views more  DEDS 2010»
13 years 2 months ago
On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
Jianfeng Mao, Christos G. Cassandras
WSCG
2004
172views more  WSCG 2004»
13 years 6 months ago
GDESK: Game Discrete Event Simulation Kernel
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
Inmaculada García, Ramón Mollá...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
13 years 12 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...