14244 search results - page 573 / 2849 » Modeling Program Predictability |
139
click to vote
JLP
2007
15 years 6 months ago
2007
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
202
click to vote
Lecture Notes
These notes cover several topics such as Predicting Asset Returns, Linear Factor Model, Linear Factor Models in SDF Form, Consumption-Based Asset Pricing, Riskneutral Distributions...
191
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
291
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
153
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...