11328 search results - page 204 / 2266 » Timed Branching Processes |
126
click to vote
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
This paper is motivated through the advantages offered by employing real-time (priority-driven) scheduling (RTS) for efficiently implementing quality-of-service guarantees. For em...
111
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Variability in process parameters is making accurate timing analysis of nano-scale integrated circuits an extremely challenging task. In this paper, we propose a new algorithm for...
149
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
123
click to vote
EWCBR
2000
Springer
15 years 7 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
107
click to vote
AMC
2005
15 years 3 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...