Efficient translation of Boolean formulas to CNF in formal verification of microprocessors
MN Velev - ASP-DAC 2004: Asia and South Pacific Design …, 2004 - ieeexplore.ieee.org
We present a method for translating Boolean formulas to CNF by identifying gates with
fanout count of 1, and merging them with their fanout gate to generate a single set of …
fanout count of 1, and merging them with their fanout gate to generate a single set of …
A generic 10 Gbps assembly edge node and testbed for frame switching networks
A Mutter, M Kohn, M Sund - … for the Development of Networks & …, 2009 - ieeexplore.ieee.org
Packet assembly at the network edge is one solution to reduce the high packet rates in core
network switches. For this, specialized edge nodes called Assembly Units are needed that …
network switches. For this, specialized edge nodes called Assembly Units are needed that …
Frame assembly and scheduling on edge routers in fixed-size frame-switching networks
Frame assembly is seen as an important technology in future core networks since it can
mitigate the ever-increasing packet header processing load on network nodes. Since frame …
mitigate the ever-increasing packet header processing load on network nodes. Since frame …
A testbed for validation and assessment of frame switching networks
A Mutter, S Gunreben, W Lautenschläger… - Testbeds and Research …, 2011 - Springer
Packet assembly at the network edge is one solution to reduce high packet rates in core
network switches. Literature discusses this topic controversially because of three reasons:(1) …
network switches. Literature discusses this topic controversially because of three reasons:(1) …
Burst Assembly Algorithm for QoS support in OBS Networks
G Montoya, JE Sierra, Y Donoso - VIII WORKSHOP IN G/MPLS …, 2009 - torrossa.com
The increase of Internet traffic Internet requires the development of new techniques based
on the IP protocol to improve the capacity and performance of packets transmission. The …
on the IP protocol to improve the capacity and performance of packets transmission. The …