509 search results - page 21 / 102 » Preserving Properties Under Change |
117
click to vote
MP
2008
15 years 1 months ago
2008
We consider two notions for the representations of convex cones: G-representation and liftedG-representation. The former represents a convex cone as a slice of another; the latter...
203
Voted
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
124
click to vote
WSS
1997
15 years 3 months ago
1997
We present a distributed protocol for maintaining a maximum flow spanning tree in a network, with a designated node as the root of the tree. This maximum flow spanning tree can be...
133
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
ACS
2006
15 years 1 months ago
2006
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...