Sciweavers

5054 search results - page 211 / 1011
» simulation 2008
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 1 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ANTSW
2008
Springer
15 years 6 months ago
Modeling Phase Transition in Self-organized Mobile Robot Flocks
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
Ali Emre Turgut, Cristián Huepe, Hande &Cce...
ICRA
2008
IEEE
129views Robotics» more  ICRA 2008»
15 years 11 months ago
Modeling of a closed loop cable-conduit transmission system
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
Varun Agrawal, William J. Peine, Bin Yao
WSC
2008
15 years 6 months ago
Nonlinear process modeling and optimization based on Multiway Kernel Partial Least Squares model
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...
Liqing Di, Zhihua Xiong, XianHui Yang
WSC
2008
15 years 6 months ago
Multi-product lot merging/splitting algorithms for a semiconductor wafer fabrication
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
June-Young Bang, Jae-Hun Kang, Bong-Kyun Kim, Yeon...