Sciweavers

741 search results - page 78 / 149
» Memory Dependence Prediction Using Store Sets
Sort
View
CEC
2008
IEEE
16 years 20 days ago
Evolving finite state transducers to interpret deepwater reservoir depositional environments
— Predicting oil recovery efficiency of deepwater reservoirs is a challenging task. One approach to characterize and predict the producibility of a reservoir is by analyzing its...
Tina Yu, Dave Wilkinson, Julian Clark, Morgan Sull...
ENTCS
2000
112views more  ENTCS 2000»
15 years 6 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
DATE
2009
IEEE
97views Hardware» more  DATE 2009»
16 years 28 days ago
A flexible floating-point wavelet transform and wavelet packet processor
—The richness of wavelet transformation is known in many fields. There exist different classes of wavelet filters that can be used depending on the application. In this paper, ...
Andre Guntoro, Manfred Glesner
JPDC
2006
111views more  JPDC 2006»
15 years 6 months ago
Designing irregular parallel algorithms with mutual exclusion and lock-free protocols
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
Guojing Cong, David A. Bader
IBPRIA
2007
Springer
16 years 10 days ago
A Tabular Pruning Rule in Tree-Based Fast Nearest Neighbor Search Algorithms
Some fast nearest neighbor search (NNS) algorithms using metric properties have appeared in the last years for reducing computational cost. Depending on the structure used to store...
José Oncina, Franck Thollard, Eva Gó...