5964 search results - page 1129 / 1193 » A theory of speculative computation |
159
click to vote
RTCSA
2007
IEEE
16 years 20 days ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
186
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
181
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
170
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
189
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...