A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

Elvira Albert Nikolaos Bezirgiannis Frank S. de Boer Enrique Martin-Martin

Published in: LOPSTR (2016)

Keyphrases

resource consumption
resource allocation
programming language
processing times
data transfer
response time
quality of service
solution quality
query execution
social networks
scheduling algorithm
single machine scheduling problem
real time
high speed
linear programming