Sciweavers

3001 search results - page 155 / 601
» Recursive type generativity
Sort
View
ICFP
2004
ACM
16 years 6 months ago
Multi-return function call
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
Olin Shivers, David Fisher
ICFP
2001
ACM
16 years 6 months ago
Extensible Algebraic Datatypes with Defaults
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...
Matthias Zenger, Martin Odersky
AICT
2008
IEEE
131views Communications» more  AICT 2008»
16 years 26 days ago
On the Handoff-Call Blocking Probability Calculation in W-CDMA Cellular Networks
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,...
Vassilios G. Vassilakis, Georgios A. Kallos, Ioann...
XIMEP
2006
ACM
188views Database» more  XIMEP 2006»
16 years 9 days ago
A Fully Pipelined XQuery Processor
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...
Leonidas Fegaras, Ranjan K. Dash, YingHui Wang
ICALP
2004
Springer
15 years 11 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong