3335 search results - page 364 / 667 » Grid result checking |
158
click to vote
RTSS
2007
IEEE
16 years 28 days ago
2007
IEEE
We consider the issue of deadline tardiness under global multiprocessor scheduling algorithms. We present a general tardiness-bound derivation that is applicable to a wide variety...
167
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
167
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
165
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
186
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...