Sciweavers

615 search results - page 73 / 123
» step 2003
Sort
View
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
15 years 6 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
ICCAD
2003
IEEE
140views Hardware» more  ICCAD 2003»
15 years 6 months ago
Block-based Static Timing Analysis with Uncertainty
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
Anirudh Devgan, Chandramouli V. Kashyap
ICCAD
2003
IEEE
120views Hardware» more  ICCAD 2003»
15 years 6 months ago
RTL Power Optimization with Gate-Level Accuracy
Traditional RTL power optimization techniques commit transformations at the RTL based on the estimation of area, delay and power. However, because of inadequate power and delay in...
Qi Wang, Sumit Roy
GLOBECOM
2006
IEEE
15 years 3 months ago
Minutes Trading in The International Long-Distance Voice Market
 This paper outlines trends reshaping the business of International Long Distance (ILD) voice minutes trading. Our analysis is centered on Arbinet’s business model: an electro...
Stefano Bregni, Giacomo Bruzzi, Maurizio Decina
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Ontology Design for Video Semantic Threads
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
John R. Kender, Milind R. Naphade