2778 search results - page 150 / 556 » Reuse Technique in Hardware Design |
166
click to vote
ICECCS
2005
IEEE
15 years 12 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
149
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
165
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
162
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
216
click to vote
IFIPPACT
1994
15 years 7 months ago
1994
: Advanced architectural features of microprocessors like instruction level parallelism and pipelined functional hardware units require code generation techniques beyond the scope ...