1237 search results - page 21 / 248 » Strictness and Totality Analysis |
COMCOM
2007
13 years 9 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
CGO
2009
IEEE
14 years 4 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
SRDS
2006
IEEE
14 years 3 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
EUROCRYPT
2000
Springer
14 years 1 months ago
2000
Springer
We show that general one-way trapdoor permutations are sufficient to privately retrieve an entry from a database of size n with total communication complexity strictly less than n....
IJCSA
2007
13 years 9 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...