125 search results - page 4 / 25 » Combining Theories with Shared Set Operations |
CIKM
2003
Springer
15 years 4 months ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...
INFORMATICALT
2008
14 years 11 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
HYBRID
2010
Springer
14 years 9 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
COMPUTER
1999
14 years 11 months ago
1999
abstract over a complex set of resources and provide a high-level way to share and manage them over the network. To be effective, such a system must address the challenges posed by...