703 search results - page 11 / 141 » Fundamentals of Session Types |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In large-scale peer-to-peer (P2P) live streaming systems with a limited supply of server bandwidth, increasing the amount of upload bandwidth supplied by peers becomes c...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
An experienced user of the Twiddler, a one?handed chording keyboard, averages speeds of 60 words per minute with letter?by?letter typing of standard test phrases. This fast typing...
FMCO
2008
Springer
13 years 9 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...
AGILEDC
2006
IEEE
14 years 1 months ago
2006
IEEE
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...