1824 search results - page 223 / 365 » Practices and Techniques for Engineering Process Capability ... |
149
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
123
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
131
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
146
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
169
click to vote
3DIM
2005
IEEE
15 years 5 months ago
2005
IEEE
Camera calibration methods, whether implicit or explicit, are a critical part of most 3D vision systems. These methods involve estimation of a model for the camera that produced t...