444 search results - page 30 / 89 » Termination by Abstraction |
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract-Cooperative transmission obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. Although the amplify-and-forward (AF) cooperati...
CSL
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
AMW
2009
13 years 10 months ago
2009
Abstract. The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such ...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
DCOSS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract: Since nodes in a sensor network have limited energy, prolonging the network lifetime and improving scalability become important. In this paper, we propose a distributed w...