7167 search results - page 1434 / 1434 » A Technique for Invariant Generation |
TFM
2009
Springer
14 years 3 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...