17450 search results - page 274 / 3490 » Numerical Methods with Applications |
111
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
106
click to vote
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A method is proposed whereby values for Service Level Objectives (SLOs) of an SLA can be chosen to reduce the sum IT infrastructure cost plus business financial loss. Bu...
143
click to vote
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
159
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...
141
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...