353 search results - page 20 / 71 » Design of a scalable network programming framework |
153
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
139
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
142
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Computing aggregates over distributed data sets constitutes an interesting class of distributed queries. Recent advances in peer-to-peer discovery of data sources and query process...
148
Voted
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
128
click to vote
IV
2006
IEEE
15 years 11 months ago
2006
IEEE
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...