9818 search results - page 18 / 1964 » Much Support and More |
164
click to vote
SOUPS
2009
ACM
16 years 15 days ago
2009
ACM
Online social network sites, such as MySpace, Facebook and others have grown rapidly, with hundreds of millions of active users. A new feature on many sites is social applications...
200
click to vote
JASIS
2011
15 years 29 days ago
2011
We describe two general approaches to creating document-level maps of science. To create a local map one defines and directly maps a sample of data, such as all literature publish...
176
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
157
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
144
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
In [6], we proposed a new commit protocol, OPT, specially designed for use in distributed firm-deadline real-time database systems. OPT allows transactions to “optimistically...