55 search results - page 6 / 11 » The Must Preorder Revisited |
124
click to vote
PE
2010
Springer
14 years 6 months ago
2010
Springer
Accurately characterizing the resource usage of an application at various levels in the memory hierarchy has been a long-standing research problem. Existing characterization studi...
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
ICPP
2009
IEEE
15 years 6 months ago
2009
IEEE
The multicore revolution is underway, bringing new chips introducing more complex memory architectures. Classical algorithms must be revisited in order to take the hierarchical me...
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
79
Voted
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— In order to create consistent maps of unknown environments, a robot must be able to recognize when it has returned to a previously visited place. In this paper, we introduce an...