6581 search results - page 417 / 1317 » Formalizing Design Patterns |
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
194
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Recognizing characters in a scene image taken by a digital camera has been studied for decades. However, it is still a challenging problem to achieve high accuracy. In this paper,...
165
click to vote
HPCA
2004
IEEE
16 years 6 months ago
2004
IEEE
Many current programmable architectures designed to exploit data parallelism require computation to be structured to operate on sequentially accessed vectors or streams of data. A...
154
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present test generation procedures to improve scan chain failure diagnosis. The proposed test generation procedures improve diagnostic resolution by using multi-...
176
click to vote
ASAP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new constraint-driven method for computational pattern selection, mapping and application scheduling using reconfigurable processor extensions. The presente...