4520 search results - page 861 / 904 » Algebraic Techniques for Timed Systems |
101
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Characterizing the relationship that exists between a person's social group and his/her personal behavior has been a long standing goal of social network analysts. In this pa...
WWW
2004
ACM
16 years 1 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...
206
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
132
Voted
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
The shrinking processor feature size, lower threshold voltage and increasing clock frequency make modern processors highly vulnerable to transient faults. Architectural Vulnerabil...
119
Voted
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...