1675 search results - page 300 / 335 » Implementing Data Cubes Efficiently |
119
click to vote
TMC
2010
15 years 24 days ago
2010
—This paper deals with decentralized, QoS-aware middleware for checkpointing arrangement in Mobile Grid (MoG) computing systems. Checkpointing is more crucial in MoG systems than...
130
click to vote
ICTAC
2010
Springer
15 years 10 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
138
click to vote
ICTAI
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
149
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Orthology analysis is an important part of data analysis in many areas of bioinformatics such as comparative genomics and molecular phylogenetics. The ever-increasing ...
118
Voted
VLSID
2006
IEEE
16 years 2 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...