7890 search results - page 1249 / 1578 » The MathSAT 3 System |
179
click to vote
SEFM
2006
IEEE
16 years 23 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
199
click to vote
CASES
2006
ACM
16 years 22 days ago
2006
ACM
Multiprocessor system-on-chip (MPSoC) is an integrated circuit containing multiple instruction-set processors on a single chip that implements most of the functionality of a compl...
197
click to vote
IMC
2006
ACM
16 years 21 days ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
175
click to vote
STORAGESS
2005
ACM
16 years 9 days ago
2005
ACM
The use of access predictors to improve storage device performance has been investigated for both improving access times, as well as a means of reducing energy consumed by the dis...
219
click to vote
MDM
2005
Springer
16 years 7 days ago
2005
Springer
Data access prediction has been proposed as a mechanism to overcome latency lag, and more recently as a means of conserving energy in mobile systems. We present a fully adaptive p...