Sciweavers

3134 search results - page 380 / 627
» Computing full disjunctions
Sort
View
102
Voted
PIMRC
2010
IEEE
14 years 10 months ago
Fast varying channel estimation in downlink LTE systems
This paper tackles the problem of fast varying channel estimation in LTE systems. Particular attention is given to downlink transmission where OFDMA is used as the multiple access ...
Youssef El Hajj Shehadeh, Serdar Sezginer
109
Voted
SENSYS
2010
ACM
14 years 10 months ago
Adaptive decentralized control of underwater sensor networks for modeling underwater phenomena
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
Carrick Detweiler, Marek Doniec, Mingshun Jiang, M...
143
Voted
FORTE
2009
14 years 10 months ago
The Orc Programming Language
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
David Kitchin, Adrian Quark, William R. Cook, Jaya...
102
Voted
CACM
2010
140views more  CACM 2010»
14 years 10 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
116
Voted
DEBU
2010
128views more  DEBU 2010»
14 years 10 months ago
Panda: A System for Provenance and Data
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
Robert Ikeda, Jennifer Widom