2340 search results - page 303 / 468 » Second quarter 2008 |
154
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
153
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
184
click to vote
MEMOCODE
2008
IEEE
16 years 29 days ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
148
click to vote
MUE
2008
IEEE
16 years 28 days ago
2008
IEEE
More and more media material is consumed in ubiquitous environment where the service can be experienced over different devices, network conditions, network bearers, etc. Unlike in...
208
click to vote
NDSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Third Generation (3G) cellular networks utilize timevarying and location-dependent channel conditions to provide broadband services. They employ opportunistic scheduling to effic...