6274 search results - page 328 / 1255 » Proofs, Programs, Processes |
183
click to vote
ASC
2004
15 years 6 months ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...
218
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
180
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
144
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Timing budgeting under process variations is an important step in a statistical optimization flow. We propose a novel formulation of the problem where budgets are statistical ins...
160
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...