Sciweavers

10412 search results - page 1399 / 2083
» The efficiency of algorithms - misconceptions
Sort
View
DAC
2009
ACM
15 years 11 months ago
Fast vectorless power grid verification using an approximate inverse technique
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
Nahi H. Abdul Ghani, Farid N. Najm
DASFAA
2009
IEEE
135views Database» more  DASFAA 2009»
15 years 11 months ago
Dimension-Specific Search for Multimedia Retrieval
Observing that current Global Similarity Measures (GSM) which average the effect of few significant differences on all dimensions may cause possible performance limitation, we prop...
Zi Huang, Heng Tao Shen, Dawei Song, Xue Li, Stefa...
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
15 years 11 months ago
Sequential logic rectifications with approximate SPFDs
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...
Yu-Shen Yang, Subarna Sinha, Andreas G. Veneris, R...
GSEM
2007
Springer
15 years 11 months ago
Mapping of SLA-based Workflows with light Communication onto Grid Resources
Service Level Agreements (SLAs) are currently one of the major research topics in Grid Computing. Among those system components that support SLA-aware Grid jobs, the SLA mapping me...
Dang Minh Quan, Jörn Altmann
FOSSACS
2009
Springer
15 years 11 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
« Prev « First page 1399 / 2083 Last » Next »