12084 search results - page 2153 / 2417 » Effect Systems with Subtyping |
151
click to vote
USENIX
2007
15 years 6 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
149
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
234
click to vote
AP2PC
2007
Springer
15 years 6 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek and provide services, or refer other service providers. Key applications include service discove...
158
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
166
click to vote
FMSB
2008
15 years 6 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...