970 search results - page 155 / 194 » Symbolic timing simulation using cluster scheduling |
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—We consider wireless mesh networks, and exploit the inherent broadcast nature of wireless by making use of multipath routing. We present an optimization framework that enables u...
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
Compute clusters are consuming more power at higher densities than ever before. This results in increased thermal dissipation, the need for powerful cooling systems, and ultimatel...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
Running Data Grid applications such as High Energy Nuclear Physics (HENP) and weather modelling experiments involves working with huge data sets possibly of hundreds of Terabytes ...
CIKM
2008
Springer
14 years 8 days ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...