9521 search results - page 1647 / 1905 » Compiling with continuations, continued |
169
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...
188
click to vote
ISCA
2007
IEEE
16 years 25 days ago
2007
IEEE
High availability is an increasingly important requirement for enterprise systems, often valued more than performance. Systems designed for high availability typically use redunda...
178
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
155
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
175
click to vote
MICRO
2007
IEEE
16 years 24 days ago
2007
IEEE
Process variations will greatly impact the stability, leakage power consumption, and performance of future microprocessors. These variations are especially detrimental to 6T SRAM ...