458 search results - page 83 / 92 » Universal Temporal Data Languages |
176
click to vote
POPL
2002
ACM
16 years 2 days ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
100
click to vote
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
Hardware trends have produced an increasing disparity between processor speeds and memory access times. While a variety of techniques for tolerating or reducing memory latency hav...
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...
212
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...