4385 search results - page 163 / 877 » Abstraction for Concurrent Objects |
110
click to vote
LICS
2012
IEEE
13 years 1 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
181
click to vote
MVA
2011
14 years 6 months ago
2011
Abstract Kernel-based object tracking refers to computing the translation of an isotropic object kernel from one video frame to the next. The kernel is commonly chosen as a primiti...
ISORC
2003
IEEE
15 years 4 months ago
2003
IEEE
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is on...
HPDC
1993
IEEE
15 years 3 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
115
click to vote
FMOODS
2007
15 years 21 days ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...