9730 search results - page 1572 / 1946 » Relating models of backtracking |
216
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
185
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
172
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...
276
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
Many different Distributed Hash Tables (DHTs) have been designed, but only few have been successfully deployed. The implementation of a DHT needs to deal with practical aspects (e...
157
Voted
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Multiserver operating systems have great potential to improve dependability, but, paradoxically, are paired with inherently more complex interprocess communication (IPC). Several ...