Sciweavers

12032 search results - page 123 / 2407
» Simulation of Manufacturing Systems
Sort
View
137
Voted
KES
2004
Springer
15 years 9 months ago
Decision Support System on the Grid
Aero engines are extremely reliable machines and operational failures are rare. However, currently great effort is being put into reducing the number of in-flight engine shutdowns,...
Max Ong, Xiaoxu Ren, J. Allan, Visakan Kadirkamana...
174
Voted
CADE
1998
Springer
15 years 7 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
DSN
2004
IEEE
15 years 7 months ago
The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rang...
AMC
2000
94views more  AMC 2000»
15 years 3 months ago
Elements of a theory of simulation II: sequential dynamical systems
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
Christopher L. Barrett, Henning S. Mortveit, Chris...
127
Voted
MVA
2007
130views Computer Vision» more  MVA 2007»
15 years 5 months ago
3D Precise Inspection of Electronic Devices by Single Stereo Vision
It is very important to guarantee the quality of the industrial products by means of visual inspection. In order to reduce the soldering defect with terminal deformation and termi...
Takashi Watanabe, Akira Kusano, Takayuki Fujiwara,...