1338 search results - page 157 / 268 » Consistent Code Generation from UML Models |
122
click to vote
PRDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
116
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
200
click to vote
JMLR
2012
13 years 5 months ago
2012
We consider the task of estimating, from observed data, a probabilistic model that is parameterized by a finite number of parameters. In particular, we are considering the situat...
159
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
126
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The Kneed Walker is a physics-based model derived from a planar biomechanical characterization of human locomotion. By controlling torques at the knees, hips and torso, the model ...