9611 search results - page 1754 / 1923 » A Note on Difference Sets |
166
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
193
click to vote
MICRO
2007
IEEE
16 years 23 days ago
2007
IEEE
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
176
click to vote
NDSS
2007
IEEE
16 years 23 days ago
2007
IEEE
With Hidden Credentials Alice can send policyencrypted data to Bob in such a way that he can decrypt the data only with the right combination of credentials. Alice gains no knowle...
182
click to vote
QEST
2007
IEEE
16 years 23 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
174
click to vote
ROBOCOMM
2007
IEEE
16 years 23 days ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...