3199 search results - page 248 / 640 » Variability in Automation System Models |
162
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
189
click to vote
INTEGRATION
2010
15 years 5 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
192
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
132
click to vote
DLOG
1997
15 years 7 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
170
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...