159 search results - page 10 / 32 » Data-Driven Performance Analysis of Scheduled Processes |
133
Voted
CL
2007
Springer
15 years 18 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
125
Voted
CODES
2011
IEEE
14 years 13 days ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
108
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper focuses on optimizing real-time intervehicle video communications from an image analysis perspective. Differently from traditional multimedia communication schemes whic...
122
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
82
Voted
JPDC
2006
15 years 17 days ago
2006
We present provably efficient parallel algorithms for sweep scheduling, which is a commonly used technique in Radiation Transport problems, and involves inverting an operator by i...