2673 search results - page 277 / 535 » Guided Static Analysis |
154
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
227
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...
159
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
179
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
178
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...