10700 search results - page 478 / 2140 » Generative Design Patterns |
154
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
104
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We present an authenticable graphical barcode symbology, and describe a system for its reliable encoding and decoding. The graphical barcode is generated by modulating halftone pa...
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
We have explored the role of the interaction of slow and fast intracellular dynamics in generating precise spiking-bursting activity in a model of the heartbeat central pattern gen...
119
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
140
Voted
SEUS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...