2227 search results - page 109 / 446 » Reversibility and Models for Concurrency |
247
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
146
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Mining actor correlations from TV series enables semanticlevel video understanding and facilitates users to conduct correlation-based query. In this paper, we introduce a graphbas...
147
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
147
click to vote
MICRO
2008
IEEE
16 years 11 days ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
173
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...