799 search results - page 124 / 160 » Generating Reliable Code from Hybrid-Systems Models |
SERA
2005
Springer
14 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
HPCN
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
ENTCS
2007
13 years 9 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
IUI
2012
ACM
12 years 5 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
KDD
2009
ACM
14 years 2 months ago
2009
ACM
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...