2145 search results - page 376 / 429 » Lax Logical Relations |
INFOCOM
1997
IEEE
13 years 12 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
ISCA
1997
IEEE
13 years 12 months ago
1997
IEEE
Superscalar processors currently have the potential to fetch multiple basic blocks per cycle by employing one of several recently proposed instruction fetch mechanisms. However, t...
DBPL
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
TAPSOFT
1997
Springer
13 years 12 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
ICDE
1993
IEEE
13 years 12 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...