406 search results - page 48 / 82 » Exploring Legacy Systems using Types |
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efï¬cient is by weakening their int...
VRML
2004
ACM
14 years 1 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
SBCCI
2005
ACM
14 years 1 months ago
2005
ACM
This work addresses the problem of application mapping in networks-on-chip (NoCs). It explores the importance of characterizing network traffic to effectively predict NoC energy c...
EMNLP
2007
13 years 9 months ago
2007
In Sequential Viterbi Models, such as HMMs, MEMMs, and Linear Chain CRFs, the type of patterns over output sequences that can be learned by the model depend directly on the modelâ...
IPSN
2011
Springer
12 years 11 months ago
2011
Springer
While a number of acoustic localisation systems have been proposed over the last few decades, these have typically either relied on expensive dedicated microphone arrays and works...