1953 search results - page 119 / 391 » Embedded Probabilistic Programming |
116
click to vote
ICESS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
123
click to vote
SPLC
2004
15 years 3 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...
137
click to vote
COMGEO
2012
ACM
13 years 10 months ago
2012
ACM
A straight-line drawing of a plane graph G is a planar drawing of G, where each vertex is drawn as a point and each edge is drawn as a straight line segment. Given a set S of n poi...
135
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
126
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...