Sciweavers

3379 search results - page 390 / 676
» Powers of Two
Sort
View
163
Voted
PVLDB
2008
121views more  PVLDB 2008»
15 years 3 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
127
Voted
SCP
2010
148views more  SCP 2010»
15 years 2 months ago
Debugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen
TMM
2011
121views more  TMM 2011»
14 years 11 months ago
Spread Spectrum Visual Sensor Network Resource Management Using an End-to-End Cross-Layer Design
—In this paper, we propose an approach to manage network resources for a direct sequence code division multiple access (DS-CDMA) visual sensor network where nodes monitor scenes ...
Elizabeth S. Bentley, Lisimachos P. Kondi, John D....
DSD
2009
IEEE
118views Hardware» more  DSD 2009»
15 years 7 months ago
On the Risk of Fault Coupling over the Chip Substrate
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...
Peter Tummeltshammer, Andreas Steininger
BMCBI
2005
148views more  BMCBI 2005»
15 years 4 months ago
NemaFootPrinter: a web based software for the identification of conserved non-coding genome sequence regions between C. elegans
Background: NemaFootPrinter (Nematode Transcription Factor Scan Through Philogenetic Footprinting) is a web-based software for interactive identification of conserved, non-exonic ...
Davide Rambaldi, Alessandro Guffanti, Paolo Morand...