5564 search results - page 169 / 1113 » Performance Modeling of HPC Applications |
99
Voted
ICWE
2007
Springer
15 years 9 months 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...
138
Voted
COR
2011
14 years 10 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...
141
click to vote
LCN
2005
IEEE
15 years 9 months 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,...
137
Voted
HYBRID
2003
Springer
15 years 8 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...
120
Voted
SODA
2004
ACM
15 years 4 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...