570 search results - page 47 / 114 » A Core Calculus of Dependency |
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
ANCS
2007
ACM
14 years 25 days ago
2007
ACM
Today's large multi-core Internet servers support thousands of concurrent connections or flows. The computation ability of future server platforms will depend on increasing n...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In this work we study the asymptotic traffic behaviour in Gromov's hyperbolic spaces when the traffic decays exponentially with the distance. We prove that under general condi...
SIGPLAN
2008
13 years 8 months ago
2008
Depending on individual department goals, undergraduate computer science educators teach theoretical concepts and skills with varying priorities on preparing students for continui...
ICASSP
2011
IEEE
13 years 17 days ago
2011
IEEE
Parallel computation of the adaptive lattice filtering algorithm is difficult due to the dependency problem caused by feedback operations. The conventional control-level paralle...