860 search results - page 77 / 172 » A Process Algebra Based Verification of a Production System |
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
MVA
2007
13 years 10 months ago
2007
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...
WSC
1998
13 years 10 months ago
1998
A significant challenge in implementing the Theory of Constraints in the semiconductor industry is the complex and reentrant nature of the manufacturing process. Managing a constr...