1724 search results - page 155 / 345 » Models for Concurrency |
146
Voted
FUIN
2002
15 years 3 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
139
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
136
Voted
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
176
Voted
SIGOPS
2010
14 years 10 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
128
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...