3733 search results - page 292 / 747 » Performance Evaluation of an Operating System Transaction Ma... |
169
click to vote
CF
2004
ACM
16 years 4 days ago
2004
ACM
Current instruction fetch policies in SMT processors are oriented towards optimization of overall throughput and/or fairness. However, they provide no control over how individual ...
210
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
197
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
A number of vertical mining algorithms have been proposed recently for association mining, which have shown to be very effective and usually outperform horizontal approaches. The ...
164
click to vote
KDD
2004
ACM
16 years 2 days ago
2004
ACM
Spatial collocation patterns associate the co-existence of nonspatial features in a spatial neighborhood. An example of such a pattern can associate contaminated water reservoirs ...
199
click to vote
SBCCI
2005
ACM
16 years 8 days ago
2005
ACM
Networks on chip (NoCs) draw on concepts inherited from distributed systems and computer networks subject areas to interconnect IP cores in a structured and scalable way. Congesti...