Sciweavers

280 search results - page 50 / 56
» Abstract Threads
Sort
View
SEMWEB
2010
Springer
13 years 7 months ago
Making Sense of Twitter
Abstract. Twitter enjoys enormous popularity as a micro-blogging service largely due to its simplicity. On the downside, there is little organization to the Twitterverse and making...
David Laniado, Peter Mika
FCSC
2010
170views more  FCSC 2010»
13 years 7 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
NFM
2011
223views Formal Methods» more  NFM 2011»
13 years 4 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
MICRO
2010
IEEE
119views Hardware» more  MICRO 2010»
13 years 4 months ago
Task Superscalar: An Out-of-Order Task Pipeline
We present Task Superscalar, an abstraction of instruction-level out-of-order pipeline that operates at the tasklevel. Like ILP pipelines, which uncover parallelism in a sequential...
Yoav Etsion, Felipe Cabarcas, Alejandro Rico, Alex...
TCSV
2010
13 years 4 months ago
Multiple Description Video Coding With H.264/AVC Redundant Pictures
Abstract--Multiple description coding offers interesting solutions for error resilient multimedia communications as well as for distributed streaming applications. In this letter, ...
Ivana Radulovic, Pascal Frossard, Ye-Kui Wang, Mis...