2025 search results - page 268 / 405 » Software performance modelling using PEPA nets |
115
Voted
ISESE
2005
IEEE
15 years 6 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
111
Voted
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difï...
163
click to vote
MJ
2011
14 years 7 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
111
Voted
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we develop a system to classify the outputs of image segmentation algorithms as perceptually relevant or perceptually irrelevant with respect to human perception. T...
111
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...