3814 search results - page 531 / 763 » Operating system support for multimedia systems |
135
click to vote
TSMC
2002
15 years 5 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
182
click to vote
JFP
2010
15 years 4 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
167
click to vote
VLUDS
2010
15 years 25 days ago
2010
This work aims to investigate the suitability of applying Virtual Reality techniques in the exploration of Mars terrain features in order to support the creation of topographic ma...
360
click to vote
DLOG
2011
14 years 9 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
204
click to vote
SIGMETRICS
2012
ACM
13 years 8 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...