678 search results - page 75 / 136 » Lock-free parallel dynamic programming |
160
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
135
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
119
click to vote
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
116
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
135
click to vote
ALGORITHMICA
2005
15 years 3 months ago
2005
We present a new bit-parallel technique for approximate string matching. We build on two previous techniques. The first one, BPM [Myers, J. of the ACM, 1999], searches for a patte...