Back to Results
First PageMeta Content
Applied mathematics / Mathematics / Π-calculus / Deduction / Concurrent computing / Process calculus / Models of computation / Actor model / Lambda calculus / Process calculi / Logic / Theoretical computer science


Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and
Add to Reading List

Document Date: 2010-02-03 14:17:39


Open Document

File Size: 771,92 KB

Share Result on Facebook

City

Cambridge / /

Company

ASIS UNYAPOTH Computer Laboratory / HP / VMWare / Computer Laboratory / /

Country

Poland / United Kingdom / /

Currency

pence / /

/

Facility

PAWEL T. WOJCIECHOWSKI Institute of Computing Science / Mobile Computation PETER SEWELL Computer Laboratory / University of Technology / Institute of Computer Science / University of Cambridge / /

IndustryTerm

inter-site / widearea distributed applications / virtualisation systems / overlay networks / particular site / real-world network / overlay network algorithms / ubiquitous computing / shared memory systems / implementable above standard network protocols / agent same site / elaborate overlay algorithms / physical computing device / example applications / distributed algorithms / Internet Protocol / runtime systems / type systems / overlay network / applet server / c! site / overlay algorithms / distributed infrastructure / /

Organization

University of Technology / University of Cambridge Mobile / University of Cambridge / Mobile Computation PETER SEWELL Computer Laboratory / Cambridge and PAWEL T. WOJCIECHOWSKI Institute of Computing Science / Institute of Computer Science / /

Position

Author / Walker / application programmer / representative / General / programmer / /

ProgrammingLanguage

JoCaml / Java / /

Technology

virtual machine / elaborate overlay algorithms / 2.4 Types Typing infrastructure algorithms / overlay network algorithms / Java / distributed algorithms / API / example algorithms / smartphones / infrastructure algorithms / existing Internet Protocol / caching / simulation / operating system / overlay algorithms / UDP / shared memory / Network Protocols / mobile devices / /

SocialTag