11328 search results - page 2000 / 2266 » Timed Branching Processes |
164
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
159
Voted
AAAI
2008
15 years 6 months ago
2008
This paper considers the problem of an agent searching for a resource or a tangible good in a physical environment, where at each stage of its search it observes one source where ...
151
Voted
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
146
Voted
MMM
2010
Springer
15 years 6 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
151
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...