927 search results - page 104 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
175
click to vote
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
152
click to vote
CCGRID
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— Effective scheduling is critical for the performance of an application launched onto the Grid environment [11], [12]. Finding effective scheduling algorithms for this...
150
click to vote
WEA
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...
202
click to vote
DASFAA
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. Continuous monitoring of spatial queries has received significant research attention in the past few years. In this paper, we propose two efficient algorithms for the con...
156
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...