Result 1 to 20 from 32 total
Aggregation-based QoS routing in the internet. (English)
J. Commun. 5, No. 3, 239-246 (2010).
1
Semi-explicit parallel programming in a purely functional style: GpH. (English)
Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman \& Hall / CRC Computational Science Series, 47-76 (2009).
2
SCTP: what, why, and how (English)
IEEE Internet Computing 13, No. 5, 81-85 (2009).
3
Routing with QoS information aggregation in hierarchical networks (English)
IWQoS, 1-9 (2009).
4
On the fair coexistence of loss- and delay-based TCP (English)
IWQoS, 1-9 (2009).
5
Approximation algorithm for QoS routing with multiple additive constraints (English)
ICC, 1-5 (2009).
6
A Laplace transform-based method to stochastic path finding (English)
ICC, 1-5 (2009).
7
Routing in multi-hop wireless mesh networks with bandwidth guarantees (English)
MobiHoc, 353-354 (2009).
8
Stochastically guaranteed routing for additive link metrics with unknown distributions (English)
IWQoS, 199-203 (2008).
9
Traffic shaping in bittorrent systems by centralized hierarchical peer-node assignment (English)
ICC, 1787-1791 (2008).
10
Quality-of-service routing with two concave constraints (English)
ICC, 5746-5750 (2008).
11
Item response theory. Parameter estimation techniques. With CD-ROM. 2nd, revised and expanded ed. (English)
Statistics: Textbooks and Monographs 176. New York, NY: Marcel Dekker (ISBN 0-8247-5825-0/hbk). xx, 495~p. \$~185.00 (2004).
12
Constructed product result analysis for Haskell. (English)
J. Funct. Program. 14, No. 2, 211-245 (2004).
13
An operational semantics for parallel lazy evaluation (English)
ICFP, 162-173 (2000).
14
An abstract machine for parallel lazy evaluation (English)
Scottish Functional Programming Workshop, 154-160 (1999).
15
Towards an operational semantics for a parallel non-strict functional language (English)
IFL, 54-71 (1998).
16
Type theory and projections for static analysis. (English)
LISP Symb. Comput. 8, No. 3, 267-285 (1995).
17
Type theory and projections for static analysis (English)
Lisp and Symbolic Computation 8, No. 3, 267-285 (1995).
18
Software architecture and design. Principles, models, and methods. (English)
New York, NY: Van Nostrand Reinhold. xi, 324 p. \sterling 39.00 (1994).
19
Type theory and projections for higher-order static analysis (English)
PEPM, 43-52 (1994).
20
Result 1 to 20 from 32 total