2642 search results - page 139 / 529 » Merge-by-Wire: Algorithms and System Support |
167
click to vote
CGF
2010
15 years 4 months ago
2010
Social networks collected by historians or sociologists typically have a large number of actors and edge attributes. Applying social network analysis (SNA) algorithms to these net...
177
click to vote
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
139
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
127
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
189
click to vote
ICPADS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...