CONCUR
2009
Springer
14 years 1 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
CONCUR
2009
Springer
14 years 1 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
CLUSTER
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
CLOUDCOM
2009
Springer
14 years 1 months ago
2009
Springer
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...