Sciweavers

1544 search results - page 121 / 309
» The Process of Adoption
Sort
View
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 8 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
ICDT
2001
ACM
124views Database» more  ICDT 2001»
15 years 8 months ago
Why and Where: A Characterization of Data Provenance
Withthe proliferation of database views and curated databases, the issue of data provenance where a piece of data came from and the process by which it arrived in the database is b...
Peter Buneman, Sanjeev Khanna, Wang Chiew Tan
ER
1998
Springer
130views Database» more  ER 1998»
15 years 7 months ago
Group Activity Database for Groupware Evolution
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...
Hiroyuki Tarumi, Tetsuya Matsuyama, Yahiko Kambaya...
127
Voted
IPPS
1997
IEEE
15 years 7 months ago
Parallel Simulated Annealing: An Adaptive Approach
This paper analyses alternatives for the parallelization of the Simulated Annealing algorithm when applied to the placement of modules in a VLSI circuit considering the use of PVM...
Jonas Knopman, Júlio S. Aude
150
Voted
DASFAA
2009
IEEE
147views Database» more  DASFAA 2009»
15 years 7 months ago
MCN: A New Semantics Towards Effective XML Keyword Search
We investigate the expressiveness of existing XML keyword search semantics and propose Meaningful Connected Network (MCN) as a new semantics to capture meaningful relationships of ...
Junfeng Zhou, Zhifeng Bao, Tok Wang Ling, Xiaofeng...