8781 search results - page 214 / 1757 » Enterprise Model Integration |
147
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
154
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes a method to resolve Japanese zero pronouns by identifying their antecedents. Our method uses a probabilistic model, which is decomposed into syntactic and sema...
157
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
148
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...