2114 search results - page 22 / 423 » A model of cooperative threads |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Cooperative diversity is effectively used to combat the correlated fading. In the existing papers on cooperative diversity, the fading channels are idealistically assumed to be ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
DATE
2010
IEEE
14 years 19 days ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
We present performance results on a Windows cluster with up to 768 cores using MPI and two variants of threading
CONCUR
2011
Springer
12 years 7 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...