1953 search results - page 213 / 391 » Embedded Probabilistic Programming |
114
click to vote
ARC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
126
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
105
Voted
WSC
2004
15 years 3 months ago
2004
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
108
click to vote
JAR
2008
15 years 2 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
117
Voted
ERSA
2009
15 years 9 days ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...