349 search results - page 37 / 70 » Recursive Path Orderings Can Also Be Incremental |
JNSM
2000
13 years 7 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
AICCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Orbits of graphs under local complementation (LC) and edge local complementation (ELC) have been studied in several different contexts. For instance, there are connections between...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents slope traversal experiments with slip compensation control for lunar/planetary exploration rovers. On loose soil, wheels of the rover easily slip even when ...
ICDCSW
2006
IEEE
14 years 1 months ago
2006
IEEE
— Existing searching schemes in unstructured P2Ps can be categorized as either blind or informed. The quality of query results in blind schemes is low. Informed schemes use simpl...