840 search results - page 106 / 168 » Modelling Functional Requirements in Spatial Design |
110
Voted
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...
134
Voted
DATE
2004
IEEE
15 years 6 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...
143
Voted
ICTAI
2010
IEEE
15 years 15 days 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...
118
click to vote
CODES
2005
IEEE
15 years 8 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...
132
Voted
CASES
2003
ACM
15 years 7 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...