3387 search results - page 242 / 678 » Automating the Metamodeling Process |
170
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Our target is automation of analog circuit's layout, which is a bottleneck in mixed-signal's design. We formulate the layout explicitly considering manufacturing process...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
137
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
167
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
1 This paper describes a framework for application deployment within virtual networks using X-Bone. The framework supports deployment of arbitrary applications and allows users to...
144
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
:Artificial neural networks(ANN) have been used successfully in applications such as pattern recognition, image processing, automation and control. Majority of today's applica...