1760 search results - page 105 / 352 » Program Analysis Using Weighted Pushdown Systems |
89
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Image analysis tools that process the image using polar coordinates are needed to avoid the interpolation from polar to cartesian coordinates. We present a tool for analysing and ...
97
Voted
NETCOOP
2007
Springer
15 years 6 months ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
104
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
117
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
SIGADA
1998
Springer
15 years 4 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...