1833 search results - page 125 / 367 » Mechanized Verification with Sharing |
158
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
140
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
Compressive sensing (CS) is an emerging field that, under appropriate conditions, can significantly reduce the number of measurements required for a given signal. In many applicat...
151
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Conventional performance evaluation mechanisms focus on dedicated distributed systems. Grid computing infrastructure, on another hand, is a shared collaborative environment constr...
135
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Alewife is a multiprocessor architecture that supports up to 512 processing nodes connected over a scalable and cost-effective mesh network at a constant cost per node. The MIT Al...
127
click to vote
ICNP
1996
IEEE
15 years 8 months ago
1996
IEEE
In a wide-area network with high-speed links, congestion may lead to poor utilization and the degradation of the service provided to the users. This paper presents a Cooperative C...