585 search results - page 107 / 117 » Better Abstractions for Timed Automata |
157
click to vote
RECOMB
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
173
click to vote
SIGMOD
2009
ACM
16 years 18 days ago
2009
ACM
views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse sub-workflows and facilitate provenance analysis. However, unless a view is careful...
99
Voted
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
117
Voted
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
102
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the management of buffers and storages in environments with unpredictably varying prices in a competitive analysis. In the economical caching problem, there is ...