Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan G...
With an ever growing complexity and data volume, the administration of today's relational database management systems has become one of the most important cost factors in thei...
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...