2916 search results - page 259 / 584 » The simulation power of automod |
154
click to vote
ACL
2006
15 years 8 months ago
2006
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
171
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Packet classification is an important function in a router’s line-card. Although many excellent solutions have been proposed in the past, implementing high speed packet classifi...
199
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic voltage scaling (DVS) is being increasingly used for power management in embedded systems. Energy is a scarce resource in embedded real-time systems and energy consumption...
164
click to vote
IJSNET
2008
15 years 6 months ago
2008
: The IEEE 802.15.4 and Zigbee are protocols aimed at low-duty and low-power wireless sensor networks. Continuously monitoring applications such as applications of structural healt...