1953 search results - page 28 / 391 » Embedded Probabilistic Programming |
101
click to vote
SIPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
FORTE
2007
14 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
102
Voted
ECRTS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...