3101 search results - page 554 / 621 » Using Relational Databases in the Engineering Repository Sys... |
123
click to vote
VLDB
1992
ACM
15 years 6 months ago
1992
ACM
This paper evaluates the performance of the parallel, main-memory DBMS, PRISMA/DB. First, an architecture for parallel query execution is presented. A performance model for the ex...
125
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
In order to become an effective complement to traditional Web-scale text-based image retrieval solutions, content-based image retrieval must address scalability and efficiency iss...
110
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
109
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
110
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...