228 search results - page 8 / 46 » Experiences from Applying WCET Analysis in Industrial Settin... |
IPPS
2005
IEEE
14 years 9 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
EWSPT
2003
Springer
13 years 12 months ago
2003
Springer
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
LCTRTS
2007
Springer
14 years 26 days ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
ICWE
2007
Springer
14 years 26 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
HPCN
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Computational environments used by scientists should provide high-level support for scientific processes that involve the integrated ematic use of familiar abstractions f...