2573 search results - page 458 / 515 » Combinations of Modal Logics |
152
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
129
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
126
click to vote
ICDE
1993
IEEE
15 years 8 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...
125
click to vote
VR
1993
IEEE
15 years 8 months ago
1993
IEEE
Existing network management systems typically use a combination of textual displays and 2D directed graph representations of network topology. We are designing a network managemen...
129
Voted
MICRO
1994
IEEE
15 years 8 months ago
1994
IEEE
Multiple issue of instructions occurs in superscalar and VLIW machines. This paper investigates a third type of machine design, which combines the advantages of code compatibility...