570 search results - page 114 / 114 » A Novel Approach For Detecting Symmetries in CSP Models |
MICRO
2010
IEEE
12 years 11 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...
TITS
2010
12 years 11 months ago
2010
Driver distraction and inattention are prominent causes of automotive collisions. To enable driver-assistance systems to address these problems, we require new sensing approaches t...
TMC
2012
11 years 7 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
SIGIR
2012
ACM
11 years 7 months ago
2012
ACM
Many private and/or public organizations have been reported to create and monitor targeted Twitter streams to collect and understand users’ opinions about the organizations. Tar...
BMCBI
2005
13 years 4 months ago
2005
Background: In expressed sequence tag (EST) sequencing, we are often interested in how many genes we can capture in an EST sample of a targeted size. This information provides ins...