753 search results - page 126 / 151 » Constructing program animations using a pattern-based approa... |
135
click to vote
WCE
2007
15 years 2 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
116
click to vote
ESAW
2009
Springer
15 years 8 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
131
Voted
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
127
Voted
TPDS
2008
15 years 1 months ago
2008
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper, we consider the problem of scheduling applications ...
131
Voted
KBSE
2010
IEEE
15 years 19 hour ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...