630 search results - page 30 / 126 » Applied inference: Case studies in microarchitectural design |
DAC
2003
ACM
15 years 2 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
BMCBI
2007
14 years 9 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...
IPSN
2007
Springer
15 years 3 months ago
2007
Springer
Large-scale sensor network applications require in-network processing and data fusion to compute statistically relevant summaries of the sensed measurements. This paper studies di...
CF
2008
ACM
14 years 11 months ago
2008
ACM
PRAM (Parallel Random Access Model) has been widely regarded a desirable parallel machine model for many years, but it is also believed to be "impossible in reality." As...
88
Voted
CRIWG
2003
14 years 11 months ago
2003
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...