252 search results - page 50 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
HPCC
2009
Springer
13 years 4 months ago
2009
Springer
Abstract--The Grid is an heterogeneous and dynamic environment which enables distributed computation. This makes it a technology prone to failures. Some related work uses replicati...
MICRO
2008
IEEE
14 years 19 days ago
2008
IEEE
—Efficient sharing of system resources is critical to obtaining high utilization and enforcing system-level performance objectives on chip multiprocessors (CMPs). Although sever...
IWAN
2000
Springer
13 years 9 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...