421 search results - page 54 / 85 » Abstract Interpretation of PEPA Models |
ENTCS
2006
13 years 11 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
TON
2008
13 years 10 months ago
2008
Abstract--Recent spates of cyber-attacks and frequent emergence of applications affecting Internet traffic dynamics have made it imperative to develop effective techniques that can...
WORDS
2005
IEEE
14 years 4 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
IPPS
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...
EMMCVPR
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....