Sciweavers

858 search results - page 30 / 172
» On the Salsa20 Core Function
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 26 days ago
Equations: A Dependent Pattern-Matching Compiler
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
Matthieu Sozeau
ICASSP
2011
IEEE
13 years 21 days ago
Real-time software implementation of an IEEE 802.11a baseband receiver on Intel multicore
We present a software-only implementation of an IEEE 802.11a (WiFi) receiver optimized for Intel multicore platforms. The receiver is about 50 times faster than a straightforward ...
Christian R. Berger, Volodymyr Arbatov, Yevgen Vor...
BIBM
2010
IEEE
151views Bioinformatics» more  BIBM 2010»
13 years 7 months ago
Probabilistic topic modeling for genomic data interpretation
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
Xin Chen, Xiaohua Hu, Xiajiong Shen, Gail Rosen
ONDM
2000
13 years 10 months ago
Distributed Router Architecture for Packet-Routed Optical Networks
: A new proposal for an optical packet-routed network based on a distributed router architecture in a WDM network is described. Buffering, scheduling and wavelength assignment func...
Michael Düser, Eugene Kozlovski, Robert I. Ki...
MONET
2002
162views more  MONET 2002»
13 years 8 months ago
AMRoute: Ad Hoc Multicast Routing Protocol
The Ad hoc Multicast Routing protocol (AMRoute) presents a novel approach for robust IP Multicast in mobile ad hoc networks by exploiting user-multicast trees and dynamic logical c...
Jason Xie, Rajesh R. Talpade, Anthony McAuley, Min...