7121 search results - page 4 / 1425 » Functions as Session-Typed Processes |
99
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
147
Voted
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
99
Voted
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
140
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Middleboxes are ubiquitous in today’s networks and perform a variety of important functions, including IDS, VPN, firewalling, and WAN optimization. These functions differ vastl...
86
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
Point processes are difficult to analyze because they provide only a sparse and noisy observation of the intensity function driving the process. Gaussian Processes offer an attrac...