2470 search results - page 427 / 494 » Liveness-Preserving Simulation Relations |
108
click to vote
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we develop a notion of “objective trust” for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential ...
115
click to vote
DCC
1999
IEEE
15 years 4 months ago
1999
IEEE
We address the problem of distributed source coding, i.e. compression of correlated sources that are not co-located and/or cannot communicatewith each other to minimize their join...
107
click to vote
HPCA
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose Instruction-based Prediction as a means to optimize directory-based cache coherent NUMA shared-memory. Instruction-based prediction is based on observing the behavior o...
106
Voted
IEEEPACT
1999
IEEE
15 years 4 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
ENTCS
2000
15 years 10 days ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...