2473 search results - page 364 / 495 » The Logic of Communication Graphs |
120
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
133
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Designers of TCAMs (ternary CAMs) for packet classification often have to deal with unpredictable sets of rules. These result in highly variable rule expansions, and can only r...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A new multi-core DSP board is available for university and industry engineers. The LogicPD ZoomTM OMAP-L138 eXperimenter Kit, featuring Texas Instruments’ dual core SoC (ARM9 an...
246
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
163
Voted
ATVA
2007
Springer
16 years 10 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...