1147 search results - page 21 / 230 » Termination in language-based systems |
CATS
2007
13 years 9 months ago
2007
JLP
2010
13 years 2 months ago
2010
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, we investigate the multi-channel MAC problem in underwater acoustic sensor networks. To reduce hardware cost, only one acoustic transceiver is often preferred on ev...
DC
2007
13 years 7 months ago
2007
An important problem in distributed systems is to detect termination of a distributed computation. A computation is said to have terminated when all processes have become passive a...
IANDC
2007
13 years 7 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...