Sciweavers

5762 search results - page 861 / 1153
» R-tree: A Hardware Implementation
Sort
View
CORR
2010
Springer
71views Education» more  CORR 2010»
15 years 6 months ago
Sampled Semantics of Timed Automata
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Policies of System Level Pipeline Modeling
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
Edwin A. Harcourt
CORR
2008
Springer
57views Education» more  CORR 2008»
15 years 6 months ago
Square Complex Orthogonal Designs with Low PAPR and Signaling Complexity
Abstract--Space-Time Block Codes from square complex orthogonal designs (SCOD) have been extensively studied and most of the existing SCODs contain large number of zero. The zeros ...
Smarajit Das, B. Sundar Rajan
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 6 months ago
Standard Logics Are Valuation-Nonmonotonic
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
Mladen Pavicic, Norman D. Megill
ALIFE
2006
15 years 6 months ago
Neurocontroller Analysis via Evolutionary Network Minimization
This study presents a new evolutionary network minimization (ENM) algorithm. Neurocontroller minimization is beneficial for finding small parsimonious networks that permit a better...
Zohar Ganon, Alon Keinan, Eytan Ruppin