3709 search results - page 441 / 742 » Supporting experimentation with Side-Views |
207
Voted
LCPC
2005
Springer
16 years 6 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
196
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
198
click to vote
MDM
2005
Springer
16 years 6 days ago
2005
Springer
This paper introduces a new family of Generic and Progressive algorithms (GPAC, for short) for continuous mobile queries over mobile objects. GPAC provides a general skeleton that...
125
click to vote
MHCI
2005
Springer
16 years 6 days ago
2005
Springer
Handheld computing devices are becoming highly connected devices with high capacity storage. This has resulted in their being able to support storage of, and access to, personal p...
206
click to vote
MIDDLEWARE
2005
Springer
16 years 6 days ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...