2563 search results - page 383 / 513 » Parallel matrix algorithms and applications |
119
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
120
Voted
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
The advances in multicore technology and modern interconnects is rapidly accelerating the number of cores deployed in today’s commodity clusters. A majority of parallel applicat...
101
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
113
click to vote
HIPC
2007
Springer
15 years 7 months ago
2007
Springer
Many real-world applications like Video-On-Demand (VOD) and Web servers require prompt responses to access requests. However, with an explosive increase of data volume and the emer...
105
click to vote
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Wireless sensor networks have recently been suggested for many surveillance applications such as object monitoring, path protection, or area coverage. Since the sensors themselves...