7892 search results - page 45 / 1579 » Programming with Models |
110
click to vote
SPLC
2004
15 years 2 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
165
Voted
CPE
1994
Springer
15 years 5 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
112
click to vote
BIBM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
ANOR
2010
15 years 1 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
108
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...