Sciweavers

5373 search results - page 959 / 1075
» Models and Motion Planning
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
134
Voted
INFORMS
2008
104views more  INFORMS 2008»
15 years 4 months ago
Estimating Cycle Time Percentile Curves for Manufacturing Systems via Simulation
Cycle time-throughput (CT-TH) percentile curves quantify the relationship between percentiles of cycle time and factory throughput, and they can play an important role in strategi...
Feng Yang, Bruce E. Ankenman, Barry L. Nelson
COR
2007
103views more  COR 2007»
15 years 4 months ago
A reactive GRASP and path relinking for a combined production-distribution problem
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
Mourad Boudia, Mohamed Aly Ould Louly, Christian P...
JCP
2008
114views more  JCP 2008»
15 years 4 months ago
IntelligenTester - Test Sequence Optimization Framework using Multi-Agents
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
D. Jeya Mala, V. Mohan
JCP
2008
142views more  JCP 2008»
15 years 4 months ago
QoS Aware Query Processing Algorithm for Wireless Sensor Networks
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
Jun-Zhao Sun