7557 search results - page 511 / 1512 » Modeling Timed Concurrent Systems |
239
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
153
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider a wireless multiuser network where a number of source/destination pairs communicate concurrently over the same physical channel. A set of amplify-and-forward relay ...
185
click to vote
IPPS
2005
IEEE
16 years 16 days ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
167
click to vote
GROUP
2003
ACM
16 years 6 days ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
221
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...