4755 search results - page 690 / 951 » An Implementation Model for Collaborative Applications |
173
click to vote
MJ
2007
15 years 6 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
220
click to vote
IJITN
2010
15 years 3 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
227
click to vote
HPDC
2011
IEEE
14 years 10 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
174
click to vote
MICRO
2010
IEEE
15 years 1 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...
275
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...