10870 search results - page 2005 / 2174 » Model Checking Programs |
112
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
112
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
127
click to vote
ISPD
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...
129
Voted
SC
2003
ACM
15 years 7 months ago
2003
ACM
The emergence of grid and a new class of data-driven applications is making a new form of parallelism desirable, which we refer to as coarse-grained pipelined parallelism. This pa...
118
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...