1831 search results - page 127 / 367 » Time Constraints in Workflow Systems |
178
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
170
click to vote
WSC
1998
1998
Effective Implementation of Cycle Time Reduction Strategies for Semiconductor Back-end Manufacturing
15 years 7 months ago
Using discrete-event simulation models, a study was conducted to evaluate the current production practices of a high-volume semiconductor back-end operation. The overall goal was ...
183
click to vote
DATE
2007
IEEE
2007
IEEE
Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems
15 years 10 months ago
Energy-saving is extremely important in real-time embedded systems. Dynamic Voltage Scaling (DVS) is one of the prime techniques used to achieve energy-saving. Due to the uncertai...
198
click to vote
PRDC
2007
IEEE
16 years 16 days ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
166
click to vote
ICIAR
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents a direct and stochastic technique for real time estimation of on board camera position and orientation—the ego-motion problem. An on board stereo vision syste...