1953 search results - page 265 / 391 » Embedded Probabilistic Programming |
123
Voted
ECRTS
2010
IEEE
15 years 3 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
116
Voted
ADCM
2008
15 years 2 months ago
2008
Learning function relations or understanding structures of data lying in manifolds embedded in huge dimensional Euclidean spaces is an important topic in learning theory. In this ...
138
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
137
click to vote
CONSTRAINTS
2002
15 years 1 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
124
click to vote
SIGSOFT
2010
ACM
15 years 10 hour ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...