2299 search results - page 438 / 460 » Design and Use of Industrial Software Architectures |
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
106
click to vote
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...