5639 search results - page 495 / 1128 » Timed Abstract Non-interference |
156
click to vote
ESA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
131
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
131
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract In this paper, we focus on the problem of scheduling batches of identical task graphs on a heterogeneous platform, when the task graph consists in a tree. We rely on stead...
140
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Cloud computing platforms provide scalability and high availability properties for web applications but they sacrifice data consistency at the same time. However, many a...
136
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...