101
Voted
FSTTCS
15 years 7 months ago
2009 Springer 
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
95
Voted
FSTTCS
15 years 7 months ago
2009 Springer 
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
116
Voted
FSTTCS
15 years 5 months ago
2009 Springer 
We introduce a graph clustering problem motivated by a stream processing application. Input to our problem is an undirected graph with vertex and edge weights. A cluster is a subse...
76
Voted
FSTTCS
15 years 7 months ago
2009 Springer
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
120
click to vote
FSTTCS
15 years 7 months ago
2009 Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
|
Software Engineering