10666 search results - page 1800 / 2134 » Quantum programming languages |
166
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
139
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
136
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
150
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
151
click to vote
LFCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...