6800 search results - page 873 / 1360 » On optimizing collective communication |
231
Voted
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
244
Voted
ICPADS
2010
IEEE
15 years 5 months ago
2010
IEEE
Driven by the market demand for high-definition 3D graphics, commodity graphics processing units (GPUs) have evolved into highly parallel, multi-threaded, many-core processors, whi...
253
click to vote
ECEASST
2011
15 years 2 months ago
2011
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That...
238
click to vote
GEOINFORMATICA
2011
15 years 2 months ago
2011
The research reported in this paper uses wireless sensor networks to provide salient information about spatially distributed dynamic fields, such as regional variations in tempera...
235
click to vote
OIR
2011
15 years 2 months ago
2011
: Among Internet applications, blogs are known for its exponential growth in recent years. Blogs can be viewed as a kind of information system which people used to communicate with...