3357 search results - page 132 / 672 » Controlling Complexity |
101
click to vote
MTV
2007
IEEE
15 years 8 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
121
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Analysis of inherited diseases and their associated phenotypes is of great importance to gain knowledge of underlying genetic interactions and could ultimately give cl...
132
Voted
ASIACRYPT
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of encrypting structured data (e.g., a web graph or a social network) in such a way that it can be efficiently and privately queried. For this purpose, we ...
123
click to vote
MICRO
2010
IEEE
14 years 8 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
Teams of robots can be redundant with respect to a given task. This redundancy can be exploited to pursue additional objectives during the execution of the task. In this paper, we...