596 search results - page 98 / 120 » Subtyping Recursive Types |
102
click to vote
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
AICT
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we investigate the call blocking probability calculations in the uplink of W-CDMA mobile cellular networks. In these networks, we distinguish two types of blocking,...
108
click to vote
XIMEP
2006
ACM
15 years 5 months ago
2006
ACM
We present a high-performance, pull-based streaming processor for XQuery, called XQPull, that can handle many essential features of the language, including general predicates, rec...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
NPC
2004
Springer
15 years 5 months ago
2004
Springer
In conventional DHTs, each node is assigned an exclusive slice of identifier space. Simple it is, such arrangement may be rough. In this paper we propose a generic component struc...