17505 search results - page 3198 / 3501 » Use Cases as Workflows |
203
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...
162
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
228
click to vote
ER
1995
Springer
15 years 10 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
201
Voted
ISCA
1995
IEEE
15 years 10 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
209
click to vote
PODS
1995
ACM
15 years 10 months ago
1995
ACM
During the last decade various spatial data structures have been designed and compared against each other with respect to their performance. Still missing is a lower bound result,...