Sciweavers

86 search results - page 7 / 18
» cc 2008
Sort
View
JSYML
2008
45views more  JSYML 2008»
13 years 9 months ago
Internal consistency and global co-stationarity of the ground model
Global co-stationarity of the ground model from an 2-c.c. forcing which adds a new subset of 1 is internally consistent relative to an 1-Erdos hyperstrong cardinal and a sufficient...
Natasha Dobrinen, Sy-David Friedman
CIMCA
2008
IEEE
14 years 4 months ago
The C++ Hybrid Imperative Meta-Programmer: CHIMP
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...
CEC
2008
IEEE
14 years 4 months ago
Correlation clustering based on genetic algorithm for documents clustering
—Correlation clustering problem is a NP hard problem and technologies for the solving of correlation clustering problem can be used to cluster given data set with relation matrix...
Zhenya Zhang, Hongmei Cheng, Wanli Chen, Shuguang ...
DEXAW
2008
IEEE
129views Database» more  DEXAW 2008»
14 years 4 months ago
SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases
This paper proposes an optimistic concurrency control (CC) algorithm, called Sequential Order with Dynamic Adjustment (SODA), that guarantees timely and correct execution of concu...
Zhaowen Xing, Le Gruenwald, K. K. Phang
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 9 months ago
Policies of System Level Pipeline Modeling
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
Edwin A. Harcourt