1884 search results - page 204 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
143
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The Reliable Server Pooling (RSerPool) architecture is the IETF’s new standard for a lightweight server redundancy and session failover framework to support availabili...
110
click to vote
SBACPAD
2008
IEEE
15 years 7 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
112
click to vote
INTERACT
2003
15 years 2 months ago
2003
Abstract: Drag-and-pop and drag-and-pick are interaction techniques designed for users of pen- and touchoperated display systems. They provide users with access to screen content t...
141
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract— We demonstrate Product EntityCube, a product recommendation and navigation system. While the unprecedented scale of a product search portal enables to satisfy users wit...