703 search results - page 38 / 141 » Automatic Generation of Block-Recursive Codes |
PRDC
2005
IEEE
14 years 3 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
ECBS
2005
IEEE
13 years 11 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...
ENTCS
2006
13 years 9 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...