Sciweavers

12032 search results - page 306 / 2407
» Simulation of Manufacturing Systems
Sort
View
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 11 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 11 months ago
Real-World Extensions to a Production Scheduling Algorithm Based on Lagrangian Relaxation
In this article, we develop three eflcient extensions to a recent production scheduling algorithm based on Lagrangian relaxation [9]. These extensions handle the following real-wo...
Y. Narahari, Sundar Ram Vedula
ASPDAC
2008
ACM
135views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Temperature-aware MPSoC scheduling for reducing hot spots and gradients
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
Ayse Kivilcim Coskun, Tajana Simunic Rosing, Keith...
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 8 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes
WCE
2007
15 years 8 months ago
A Neural Network Approach to Objective Evaluation of Seam Pucker
—Seam pucker grade is one of the most important quality parameters in garments manufacturing industry. At present, seam pucker is usually evaluated by human inspectors, which is ...
K. L. Mak, Wei Li