799 search results - page 51 / 160 » Generating Reliable Code from Hybrid-Systems Models |
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
ESWA
2008
13 years 11 months ago
2008
In this study, a multistage neural network ensemble learning model is proposed to evaluate credit risk at the measurement level. The proposed model consists of six stages. In the ...
WWW
2001
ACM
14 years 11 months ago
2001
ACM
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
INFSOF
2006
13 years 11 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...