421 search results - page 54 / 85 » Abstract Interpretation of PEPA Models |
88
Voted
ENTCS
2006
15 years 25 days 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 ...
109
Voted
TON
2008
15 years 21 days 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...
105
Voted
WORDS
2005
IEEE
15 years 6 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 ...
111
click to vote
IPPS
1999
IEEE
15 years 5 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...
132
click to vote
EMMCVPR
1997
Springer
15 years 5 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....