Sciweavers

3965 search results - page 632 / 793
» Effectivity of Regular Spaces
Sort
View
DEXAW
2000
IEEE
88views Database» more  DEXAW 2000»
15 years 11 months ago
Spatio-Temporal Databases: Contentions, Components and Consolidation
Spatio-temporal databases have been the focus of considerable research activity over a significant period. However, there are as of yet very few prototypes of complete systems, f...
Norman W. Paton, Alvaro A. A. Fernandes, Tony Grif...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ICDE
2000
IEEE
110views Database» more  ICDE 2000»
15 years 11 months ago
Optimal Index and Data Allocation in Multiple Broadcast Channels
The issue of data broadcast has received much attention in mobile computing. A periodic broadcast of frequently requested data can reduce the workload of the up-link channel and f...
Shou-Chih Lo, Arbee L. P. Chen
IJCNN
2000
IEEE
15 years 11 months ago
Two Sites of Synaptic Integration: Relevant for Learning?
Since the classical work of D. O. Hebb [1] it has been assumed that synaptic plasticity solely depends on the activity of the pre- and the postsynaptic cell. Synapses influence th...
Konrad P. Körding, Peter König
ISSS
2000
IEEE
127views Hardware» more  ISSS 2000»
15 years 11 months ago
Lower Bound Estimation for Low Power High-Level Synthesis
This paper addresses the problem of estimating lower bounds on the power consumption in scheduled data flow graphs with a fixed number of allocated resources prior to binding. T...
Lars Kruse, Eike Schmidt, Gerd Jochens, Ansgar Sta...