16666 search results - page 2627 / 3334 » Descriptive and Computational Complexity |
213
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
During the last few years there has been an increasing number of people-centric sensing projects, which combine location information with other sensors available on mobile devices,...
220
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
229
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
174
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
165
click to vote
WEBI
2010
Springer
15 years 5 months ago
2010
Springer
The ESP game belongs to the genre called Games with a Purpose (GWAP), which leverage people's desire to be entertained and also outsource certain steps of the computational p...