2550 search results - page 485 / 510 » Difference Decision Diagrams |
121
click to vote
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
151
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Multidimensional Analysis and On-Line Analytical Processing (OLAP) uses summary information that requires aggregate operations along one or more dimensions of numerical data value...
135
Voted
KDD
1999
ACM
15 years 6 months ago
1999
ACM
Efficiently answering decision support queries is an important problem. Most of the work in this direction has been in the context of the data cube. Queries are efficiently answer...
113
Voted
INFOCOM
1998
IEEE
15 years 6 months ago
1998
IEEE
We consider the problem of routing connections with quality of service (QoS) requirements across networks when the information available for making routing decisions is inaccurate....
125
click to vote
ISLPED
1997
ACM
15 years 6 months ago
1997
ACM
The energy consumption of a system depends upon the hardware and software component of a system. Since it is the software which drives the hardware in most systems, decisions take...