5693 search results - page 867 / 1139 » Socially relevant computing |
169
Voted
SAC
2005
ACM
16 years 5 days ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
203
click to vote
AP2PC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method[1],[2] uses agent communities to manage and look up information of interest tousers. An agent ...
160
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
164
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
167
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...