1758 search results - page 139 / 352 » Schedule processes, not VCPUs |
162
click to vote
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
258
Voted
QRE
2011
14 years 9 months ago
2011
papers/abstracts/authors within each session. • The Author and Session indices provide cross-reference assistance (pages 33-36). • The floor plan on page 6 shows you where tech...
163
click to vote
PODC
1997
ACM
15 years 11 months ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
212
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
161
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...