Sciweavers

4217 search results - page 708 / 844
» Computational indistinguishability logic
Sort
View
73
Voted
WWW
2005
ACM
16 years 1 months ago
XQuery containment in presence of variable binding dependencies
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
Li Chen, Elke A. Rundensteiner
100
Voted
VLSID
2009
IEEE
119views VLSI» more  VLSID 2009»
16 years 1 months ago
Single Ended Static Random Access Memory for Low-Vdd, High-Speed Embedded Systems
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...
Jawar Singh, Jimson Mathew, Saraju P. Mohanty, Dhi...
105
Voted
VLSID
2005
IEEE
131views VLSI» more  VLSID 2005»
16 years 1 months ago
Efficient Space/Time Compression to Reduce Test Data Volume and Testing Time for IP Cores
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
Lei Li, Krishnendu Chakrabarty, Seiji Kajihara, Sh...
96
Voted
VLSID
2002
IEEE
87views VLSI» more  VLSID 2002»
16 years 1 months ago
Simultaneous Circuit Transformation and Routing
In this paper, we propose a new methodology to integrate circuit transformation into routing. More specifically, this paper shows an approach for performing routing and wire recon...
Hiroaki Yoshida, Motohiro Sera, Masao Kubo, Masahi...
107
Voted
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
16 years 1 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann