1237 search results - page 21 / 248 » Strictness and Totality Analysis |
102
click to vote
COMCOM
2007
14 years 11 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...
104
click to vote
CGO
2009
IEEE
15 years 6 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
15 years 5 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...
111
click to vote
EUROCRYPT
2000
Springer
15 years 3 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....
104
click to vote
IJCSA
2007
14 years 11 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...