1953 search results - page 232 / 391 » Embedded Probabilistic Programming |
128
Voted
IJPP
2011
14 years 5 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
105
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, we propose a multi-task mapping/scheduling technique for heterogeneous and scalable MPSoC. To utilize the large number of cores embedded in MPSoC, the proposed te...
127
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
120
click to vote
DIGITEL
2007
IEEE
15 years 8 months ago
2007
IEEE
Distributed Computational Toys are physical artifacts that function based on the coordination of more than one computing device. Often, these toys take the form of a microcontroll...
87
Voted
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...