Sciweavers

155 search results - page 10 / 31
» Vicinity Respecting Homomorphisms for Abstracting System Req...
Sort
View
JSAC
2006
94views more  JSAC 2006»
13 years 8 months ago
Multiuser transmitted reference ultra-wideband communication systems
Abstract--A conventional transmitted reference (TR) modulation scheme is an effective means to combat severe multipath distortion in an ultra-wideband (UWB) system, significantly r...
Zhengyuan Xu, Brian M. Sadler
TSMC
2010
13 years 3 months ago
Distributed Explicit Rate Schemes in Multi-Input-Multi-Output Network Systems
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
Naixue Xiong, Athanasios V. Vasilakos, Laurence Ti...
TPCTC
2009
Springer
190views Hardware» more  TPCTC 2009»
14 years 3 months ago
A Performance Study of Event Processing Systems
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques
SAT
2010
Springer
174views Hardware» more  SAT 2010»
13 years 7 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
EUROCRYPT
2009
Springer
14 years 9 months ago
Double-Base Number System for Multi-scalar Multiplications
Abstract. The Joint Sparse Form is currently the standard representation system to perform multi-scalar multiplications of the form [n]P + m[Q]. We introduce the concept of Joint D...
Christophe Doche, David R. Kohel, Francesco Sica