5564 search results - page 169 / 1113 » Performance Modeling of HPC Applications |
147
click to vote
ICWE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
186
click to vote
COR
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. First, it explores the issue of producing valid, compact round-robin sports schedules by considering the problem as one of graph colouring. U...
184
click to vote
LCN
2005
IEEE
16 years 2 days ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
182
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
156
click to vote
SODA
2004
ACM
15 years 7 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...