6142 search results - page 83 / 1229 » The Complexity of Partition Functions |
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
Image-based servozng systems are often used to track moving targets and their underlying control architecture is a regulation of the image. This regulation is a function of rigid ...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
We present an approach to partitioning and mapping for multicluster embedded systems consisting of time-triggered and eventtriggered clusters, interconnected via gateways. We have...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—As Chip-Multiprocessor systems (CMP) have become the predominant topology for leading microprocessors, critical components of the system are now integrated on a single c...