61 search results - page 1 / 13 » Using Partial Order Techniques to Improve Performance of Dat... |
88
Voted
PASTE
1999
ACM
15 years 6 months ago
1999
ACM
142
click to vote
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
122
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
148
Voted
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
211
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...