3901 search results - page 369 / 781 » software 2008 |
195
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
183
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
166
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
177
click to vote
AGILEDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This case study outlines one team's shift from the traditional waterfall methodology to an agile approach for web and custom application development. The transformation occur...
182
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...