6581 search results - page 281 / 1317 » Formalizing Design Patterns |
125
Voted
DIAGRAMS
2006
Springer
15 years 7 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
140
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
118
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
120
click to vote
VTS
1999
IEEE
15 years 8 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
128
click to vote
ACMSE
2010
ACM
15 years 2 months ago
2010
ACM
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...