840 search results - page 106 / 168 » Modelling Functional Requirements in Spatial Design |
118
click to vote
MTDT
2000
IEEE
15 years 7 months ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
140
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
150
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
124
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
136
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...