Sciweavers

716 search results - page 5 / 144
» time 1997
Sort
View
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 10 months ago
Efficiently Supporting Ad Hoc Queries in Large Datasets of Time Sequences
Flip Korn, H. V. Jagadish, Christos Faloutsos
AADEBUG
1997
Springer
15 years 10 months ago
Walk Backwards to Happiness - Debugging by Time Travel
Simon P. Booth, Simon B. Jones
CAV
1997
Springer
81views Hardware» more  CAV 1997»
15 years 10 months ago
STARI: A Case Study in Compositional and Hierarchical Timing Verification
Serdar Tasiran, Robert K. Brayton