1730 search results - page 98 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
121
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
129
click to vote
EENERGY
2010
15 years 7 months ago
2010
Enabling a sophisticated Demand Response (DR) framework, whereby individual consumers adapt their electricity consumption in response to price variations, is a major objective of ...
152
click to vote
MSWIM
2009
ACM
15 years 11 months ago
2009
ACM
The requirements of multimedia underwater monitoring applications with heterogeneous traffic demands in terms of bandwidth and end-to-end reliability are considered in this artic...
143
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
121
click to vote
GMP
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...