2689 search results - page 259 / 538 » ParalleX: A Study of A New Parallel Computation Model |
185
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
160
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
174
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
146
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We study principled methods for incorporating user utility into the selection of sponsored search ads. We describe variations of the GSP allocation/pricing mechanism that accommod...
158
click to vote
AINA
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we study the problem of scheduling messages between two parallel machines connected by a low latency network during a data redistribution. We compare two approaches....