5762 search results - page 766 / 1153 » R-tree: A Hardware Implementation |
195
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
165
click to vote
MICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper evaluates several mechanisms for repairing the return-address stack after branch mispredictions. The return-address stack is a small but important structure for achievi...
180
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
223
click to vote
CPE
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...
171
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...