2597 search results - page 462 / 520 » A Relational Approach to Support Software Architecture Analy... |
DAC
2005
ACM
15 years 10 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
VECPAR
2004
Springer
15 years 3 months ago
2004
Springer
The Human Genetics Unit (HGU) of the Medical Research Council (MRC) in Edinburgh has developed the Edinburgh Mouse Atlas, a spatial temporal framework to store and analyze biologic...
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
ICNS
2009
IEEE
14 years 7 months ago
2009
IEEE
All optical switching has been proposed as a candidate to allow high capacity networking in the future. Currently, Optical Circuit Switching has been widely deployed, although thi...