1953 search results - page 55 / 391 » Embedded Probabilistic Programming |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
DSRT
2008
IEEE
14 years 4 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...