5356 search results - page 679 / 1072 » Adventures in time and space |
168
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
166
click to vote
DOLAP
2004
ACM
16 years 8 days ago
2004
ACM
BST Condensed Cube is a fully computed cube that condenses those tuples, which are aggregated from the same single base relation tuple, into one physical tuple. Although it has be...
159
click to vote
C5
2003
IEEE
16 years 4 days ago
2003
IEEE
1 Croquet [18] is a computer software architecture built from the ground up with a focus on deep collaboration between teams of users. It is a totally open, totally free, highly p...
163
click to vote
ISPD
2003
ACM
16 years 2 days ago
2003
ACM
— In order to achieve timing closure on increasingly complex IC designs, buffer insertion needs to be performed on thousands of nets within an integrated physical synthesis syste...
159
click to vote
ISPD
2003
ACM
16 years 2 days ago
2003
ACM
Previous works on buffer planning are mainly based on fixed die placement. It is necessary to reduce the complexity of computing the feasible buffer insertion sites to integrate t...