1280 search results - page 105 / 256 » Soft Typing with Conditional Types |
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
MOBIHOC
2001
ACM
14 years 8 months ago
2001
ACM
The development of practical, localized algorithms is probably the most needed and most challenging task in wireless ad-hoc sensor networks (WASNs). Localized algorithms are a spe...
ICCAD
2007
IEEE
14 years 6 months ago
2007
IEEE
Several technologies with sub-lithographic features are targeting the fabrication of crossbar memories in which the nanowire decoder is playing a major role. In this paper, we sug...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
DSN
2009
IEEE
14 years 4 months ago
2009
IEEE
Keystroke dynamics—the analysis of typing rhythms to discriminate among users—has been proposed for detecting impostors (i.e., both insiders and external attackers). Since man...