7167 search results - page 1434 / 1434 » A Technique for Invariant Generation |
210
click to vote
TFM
2009
Springer
16 years 18 days 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...
167
click to vote
ICCAD
2003
IEEE
15 years 11 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...