1965 search results - page 212 / 393 » On the analysis of interacting pushdown systems |
193
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
169
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Out-of-core applications consume physical resources at a rapid rate, causing interactive applications sharing the same machine to exhibit poor response times. This behavior is the...
202
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
204
click to vote
RECOMB
2007
Springer
16 years 21 days ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
176
click to vote
PVLDB
2010
15 years 5 months ago
2010
This demonstration presents QueRIE, a recommender system that supports interactive database exploration. This system aims at assisting non-expert users of scientific databases by...