1113 search results - page 24 / 223 » Counter Systems for Data Logics |
155
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
Structured peer-to-peer systems allow to administer large volumes of data. Several peers collaborate to generate a query result. Analyses of unstructured peer-to-peer systems, nam...
158
click to vote
FC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Systems for the support of customer relationship management are becoming increasingly attractive for vendors. Loyalty systems provide an interesting possibility for vendo...
138
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
162
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
—This work presents a study undertaken to characterise the behaviour of some parallelisation techniques for irregular codes, previously developed for SMP architectures, on a seve...
136
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...