3218 search results - page 219 / 644 » Timed Extensions for SDL |
156
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 15 days ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
162
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
Connected world-widely distributed computers and data systems establish a global source of processing power and data, called a grid. Key properties of a grid are the fact that com...
151
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
164
click to vote
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to efficiently deal with the heterogeneity in the current and future multimedia ecosystem, it is necessary that content can be adapted in a format-agnostic manner. A fi...
150
click to vote
SKG
2005
IEEE
15 years 11 months ago
2005
IEEE
Efficient task scheduling is critical to achieving high performance on grid computing environment. A heuristic task scheduling algorithm satisfied resources load balancing on grid ...