Sciweavers

7311 search results - page 342 / 1463
» Time in State Machines
Sort
View
159
Voted
TCS
2008
15 years 7 months ago
Dense open-shop schedules with release times
We study open-shop scheduling problems with job release times. The objective is to minimize the makespan. Dense schedules, easy to construct, are often used as approximate solutio...
Rongjun Chen, Wanzhen Huang, Guochun Tang
ANOR
2002
57views more  ANOR 2002»
15 years 7 months ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard
184
Voted
WSC
1997
15 years 8 months ago
Urban Traffic Simulation with Psycho-Physical Vehicle-Following Models
A psycho-physical vehicle-following model tries to capture both the physical and human components of congested-traffic simulations. These models determine the reactions of the veh...
Thomas Schulze, Thomas Fliess
167
Voted
KES
2007
Springer
16 years 1 months ago
Time Discretisation Applied to Anomaly Detection in a Marine Engine
This paper introduces the problems associated with anomaly detection in a marine engine, and explains the benefits that the SAX representation brings to the field. Despite limita...
Ian Morgan, Honghai Liu, George Turnbull, David J....
IPPS
2003
IEEE
16 years 24 days ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes