6129 search results - page 811 / 1226 » A parallel LLL algorithm |
154
click to vote
PODC
2005
ACM
16 years 11 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
160
click to vote
HPCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
178
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
192
click to vote
ISPA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
182
click to vote
FTDCS
2003
IEEE
16 years 3 days ago
2003
IEEE
We propose a new model for on-demand media streaming centered around the peer-to-peer (P2P) paradigm. The proposed P2P model can support a large number of clients with a low overa...