3742 search results - page 698 / 749 » On the Use of Formal Techniques for Validation |
198
click to vote
DEXAW
2006
IEEE
16 years 6 days ago
2006
IEEE
: Scalable Distributed Data Structures (SDDSs) store large scalable files over a distributed RAM of nodes in a grid or a P2P network. The files scale transparently for the applicat...
157
click to vote
IEEEPACT
2006
IEEE
16 years 5 days ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
179
click to vote
ISPASS
2006
IEEE
16 years 5 days ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
176
click to vote
DOLAP
2006
ACM
16 years 3 days ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
189
click to vote
DEXA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...