253 search results - page 10 / 51 » Session Types at the Mirror |
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a novel method for analyzing reflections on arbitrary surfaces. We model reflections using a broader than usual class of imaging models, which include both perspective ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
PPSN
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we have investigated real coded genetic algorithms with several types of multi-parent recombination operators and found evidence that multi-parent recombination w...
IEICET
2007
13 years 7 months ago
2007
The comb capacitor models based on the measurement is reported. However, there are a problem of not scalable model and not corresponding to the millimeter wave and the sub millimet...