1413 search results - page 193 / 283 » Bisimilarity of Open Terms |
176
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
180
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
147
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...
152
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
TOP-SURF is an image descriptor that combines interest points with visual words, resulting in a high performance yet compact descriptor that is designed with a wide range of conte...
169
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We present PacketShader, a high-performance software router framework for general packet processing with Graphics Processing Unit (GPU) acceleration. PacketShader exploits the mas...