3667 search results - page 318 / 734 » Software Rejuvenation - Modeling and Analysis |
263
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
202
click to vote
ICDCIT
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
178
click to vote
JUCS
2008
15 years 6 months ago
2008
: Increasingly wikis are used to support existing corporate knowledge exchange processes. They are an appropriate software solution to support knowledge processes. However, it is n...
183
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
301
click to vote
AADEBUG
2005
Springer
16 years 4 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...