1833 search results - page 200 / 367 » Mechanized Verification with Sharing |
188
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The increasing number of cores per node in highperformance computing requires an efficient intra-node MPI communication subsystem. Most existing MPI implementations rel...
164
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Recently, many projects have been started to introduce some real-time mechanisms into general purpose operating systems (GPOS) in order to make them capable of providing the users...
197
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider streaming video content over an overlay network of peer nodes. Each of the nodes employs a mesh-pull mechanism to organize the download of data units from its neighbou...
163
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
197
click to vote
AISADM
2007
Springer
16 years 21 days ago
2007
Springer
We believe that intelligent information agents will represent their users interest in electronic marketplaces and other forums to trade, exchange, share, identify, and locate goods...