5180 search results - page 1012 / 1036 » Concurrency, Time, and Constraints |
82
Voted
CONCUR
2010
Springer
15 years 26 days ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
104
Voted
COMAD
2009
15 years 26 days ago
2009
Identifying communities in social networks is a problem of great interest. One popular type of community is where every member of the community knows all others, which can be view...
144
click to vote
ESA
2010
Springer
15 years 26 days ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
107
click to vote
DSD
2010
IEEE
14 years 12 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
112
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Multimedia content is a dominant fraction of Internet usage today. At the same time, there is significant heterogeneity in video presentation modes and operating conditions of Int...