10899 search results - page 683 / 2180 » The GP Programming System |
162
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we study an optimal control problem arising in plasma transport which is governed by a singularly perturbed system. Time-scale separation allows us to focus on a...
159
Voted
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
215
Voted
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
208
Voted
CAV
2005
Springer
16 years 29 days ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
181
Voted
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...