1953 search results - page 159 / 391 » Embedded Probabilistic Programming |
166
click to vote
SEUS
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
202
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
168
click to vote
PAISI
2007
Springer
16 years 18 days ago
2007
Springer
Software watermarking is a technique to protect programs from piracy through embedding secret information into the programs. As software unauthorized use and modification are ubiq...
149
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
168
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...