1186 search results - page 127 / 238 » State machine models of timing and circuit design |
ISQED
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
JCIT
2007
14 years 9 months ago
2007
Our fundamental objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information overflow by proposing better an...