Sciweavers

4726 search results - page 490 / 946
» Domain Modeling of Software Process Models
Sort
View
EMSOFT
2011
Springer
14 years 7 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CGF
2010
161views more  CGF 2010»
15 years 7 months ago
HyperMoVal: Interactive Visual Validation of Regression Models for Real-Time Simulation
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
Harald Piringer, Wolfgang Berger, J. Krasser
CODES
2008
IEEE
16 years 2 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...
JISBD
2001
15 years 9 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
SIAMIS
2011
15 years 2 months ago
Large Scale Bayesian Inference and Experimental Design for Sparse Linear Models
Abstract. Many problems of low-level computer vision and image processing, such as denoising, deconvolution, tomographic reconstruction or superresolution, can be addressed by maxi...
Matthias W. Seeger, Hannes Nickisch