Sciweavers

846 search results - page 109 / 170
» The Use of Z
Sort
View
ADL
2000
Springer
291views Digital Library» more  ADL 2000»
14 years 2 months ago
Electronic Books in Digital Libraries
1 Electronic book is an application with a multimedia database of instructional resources, which include hyperlinked text, instructor’s audio/video clips, slides, animation, stil...
Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Gra...
COCO
1998
Springer
123views Algorithms» more  COCO 1998»
14 years 2 months ago
Isolation, Matching, and Counting
We show that the perfect matching problem is in the complexity class SPL in the nonuniform setting. This provides a better upper bound on the complexity of the matching problem, a...
Eric Allender, Klaus Reinhardt
ICCAD
1993
IEEE
121views Hardware» more  ICCAD 1993»
14 years 2 months ago
Hierarchical extraction of 3D interconnect capacitances in large regular VLSI structures
For submicron integrated circuits, 3D numerical techniques are required to accurately compute the values of the interconnect capacitances. In this paper, we describe an hierarchic...
Arjan J. van Genderen, N. P. van der Meijs
ICC
2007
IEEE
116views Communications» more  ICC 2007»
14 years 2 months ago
Robust Power Allocation for Amplify-and-Forward Relay Networks
Relay power allocation has been shown to provide substantial performance gain in wireless relay networks when perfect global channel state information (CSI) is available. In this p...
Tony Q. S. Quek, Moe Z. Win, Hyundong Shin, Marco ...
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
14 years 1 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska