3575 search results - page 601 / 715 » Modeling Concurrency with Geometry |
KBSE
2010
IEEE
13 years 9 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
NOMS
2010
IEEE
13 years 9 months ago
2010
IEEE
—MapReduce is a data-driven programming model proposed by Google in 2004 which is especially well suited for distributed data analytics applications. We consider the management o...
VTC
2010
IEEE
13 years 9 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
INFOCOM
2010
IEEE
13 years 9 months ago
2010
IEEE
Traditional wireless broadcast protocols rely heavily on the 802.11-based CSMA/CA model, which avoids interference and collision by conservatively scheduling transmissions. While C...
IPPS
2010
IEEE
13 years 9 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...