Sciweavers

1649 search results - page 67 / 330
» On-Line Change Mechanisms
Sort
View
PACS
2000
Springer
118views Hardware» more  PACS 2000»
15 years 9 months ago
Ramp Up/Down Functional Unit to Reduce Step Power
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...
Zhenyu Tang, Norman Chang, Shen Lin, Weize Xie, O....
CRIWG
2004
15 years 7 months ago
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
Xianghua Xu, Jiajun Bu, Chun Chen, Yong Li 0004
144
Voted
CANDC
2007
ACM
15 years 6 months ago
Chromosome segregation in Escherichia coli division: A free energy-driven string model
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...
Jianmiao Fan, Kagan Tuncay, Peter J. Ortoleva
JLP
2007
114views more  JLP 2007»
15 years 6 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...
IAT
2009
IEEE
15 years 3 months ago
Facilitating Active Multidimensional Association Mining with User Preference Ontology
Multidimensional association mining from data warehouse has become a knowledge discovery paradigm because it provides more specific conditional settings for target mining data, th...
Chin-Ang Wu, Wen-Yang Lin, Chuan-Chun Wu