7978 search results - page 1289 / 1596 » Combining shared-coin algorithms |
139
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Synchronization operations, such as fence and locking, are used in many parallel operations accessing shared memory. However, a process which is blocked waiting for a fence operat...
159
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Power management has become popular in mobile computing as well as in server farms. Although a lot of work has been done to manage the energy consumption on uniprocessor real-time...
177
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
148
Voted
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Store-and-generate techniques encode a given test set and regenerate the original test set during the test with the help of a decoder. Previous research has shown that runlength c...
150
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...