12453 search results - page 109 / 2491 » Concurrent Data Structures |
SISAP
2008
IEEE
15 years 8 months ago
2008
IEEE
CONCURRENCY
2010
15 years 2 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
106
Voted
TCAD
2008
15 years 1 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
134
Voted
JCSC
1998
15 years 1 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
KDD
2002
ACM
16 years 2 months ago
2002
ACM