2841 search results - page 492 / 569 » A Call to Order |
181
click to vote
ICDT
2007
ACM
16 years 19 days ago
2007
ACM
We consider data dissemination in a peer-to-peer network, where each user wishes to obtain some subset of the available information objects. In most of the modern algorithms for su...
141
click to vote
ICFEM
2007
Springer
16 years 19 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
162
click to vote
LCTRTS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
119
click to vote
MFCS
2007
Springer
16 years 18 days ago
2007
Springer
The aim of this paper is to study communication in networks where nodes fail in a random dependent way. In order to capture fault dependencies, we introduce the neighborhood fault...
163
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...