6274 search results - page 965 / 1255 » Proofs, Programs, Processes |
131
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
123
click to vote
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
130
click to vote
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a new modulo scheduling algorithm for clustered microarchitectures. The main feature of the proposed scheme is that the assignment of instructions to clusters ...
104
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
125
click to vote
ICS
2001
Tsinghua U.
15 years 7 months ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...