9842 search results - page 696 / 1969 » Compositional timing analysis |
191
click to vote
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
193
Voted
PASTE
1998
ACM
15 years 11 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
190
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
210
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
170
click to vote
RTCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
Microkernel based systems tend to depend heavily on IPC. This paper adresses the problem of a system response spanning more than one task in an embedded real-time system. The appr...