3305 search results - page 184 / 661 » Models and Modeling Infrastructures for Global Computational... |
107
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
102
click to vote
ICCAD
2006
IEEE
16 years 15 days ago
2006
IEEE
— Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macromodels for custom circuits. These models are generated by sampling the stat...
127
Voted
CVBIA
2005
Springer
15 years 9 months ago
2005
Springer
Most variational active contour models are designed to find the “desirable” local minima of data-dependent energy functionals with the hope of avoiding undesirable configurat...
136
Voted
RSS
2007
15 years 5 months ago
2007
— We present an efficient algorithm to compute the generalized penetration depth (PDg) between rigid models. Given two overlapping objects, our algorithm attempts to compute the...
121
Voted
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...