4037 search results - page 132 / 808 » Routing without ordering |
JELIA
1990
Springer
14 years 1 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
PLANX
2007
13 years 10 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
ENTCS
2008
13 years 9 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
A low power multilevel interconnect architecture that uses wave-pipelined multiplexed (WPM) interconnect routing is proposed in this paper. WPM takes advantage of existing interco...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In Cognitive Radio Networks, nodes can work on different frequency bands. Existing routing proposals help nodes select frequency bands without considering the effect of band sw...