1295 search results - page 118 / 259 » Automatic Design Pattern Detection |
105
click to vote
GI
2001
Springer
15 years 6 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
138
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents a new method of selecting scan
ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
133
Voted
ISCA
2009
IEEE
15 years 8 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
114
Voted
AIEDAM
2007
15 years 2 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
130
Voted
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...