535 search results - page 71 / 107 » Checking Computations in Polylogarithmic Time |
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we present our first experiences using Simics, a simulator which allows full-system simulation of multiprocessor architectures. We carry out a detailed performance ...
EUSAI
2007
Springer
13 years 11 months ago
2007
Springer
Activity recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware computing. Most approaches for activity recognition focus on...
BILDMED
2006
13 years 9 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
ATC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
FOCS
2000
IEEE
13 years 11 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...