52 search results - page 5 / 11 » Termination for Hybrid Tableaus |
154
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
243
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— An effective method is presented for position tracking of a moving mobile terminal (MT). The method is based on time/distance difference of arrival (TDOA) estimation an...
121
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
168
click to vote
DSD
2005
IEEE
15 years 11 months ago
2005
IEEE
1 This paper presents a method for power-constrained system-on-chip test scheduling in an abort-on-first-fail environment where the test is terminated as soon as a fault is detecte...
152
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...