2916 search results - page 259 / 584 » The simulation power of automod |
184
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 ...
186
click to vote
CORR
2007
Springer
15 years 7 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...
187
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...
212
click to vote
RTAS
2002
IEEE
16 years 6 days 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...
195
click to vote
IJSNET
2008
15 years 7 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...