15253 search results - page 2964 / 3051 » Integer-Programming Software Systems |
133
click to vote
DEBU
2010
14 years 11 months ago
2010
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
154
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
161
click to vote
JCST
2010
14 years 9 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
125
click to vote
MICRO
2010
IEEE
14 years 9 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...
129
Voted
TASLP
2010
14 years 9 months ago
2010
In the presence of environmental noise, speakers tend to adjust their speech production in an effort to preserve intelligible communication. The noise-induced speech adjustments, c...