7189 search results - page 1074 / 1438 » Connecting Design with Code |
130
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
137
click to vote
CNSR
2006
IEEE
15 years 11 months ago
2006
IEEE
The deployment of Reconfigurable Optical Add/Drop Multiplexers (ROADMs) is going to change the conventional architecture for metro networks. In this paper, we present detailed fea...
138
click to vote
COMSWARE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
128
click to vote
COMSWARE
2006
IEEE
15 years 11 months ago
2006
IEEE
Currently there are a wide variety of devices with different screen resolutions, color support, processing power, and network connectivity, capable of receiving streaming video fr...
147
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
Peer-to-Peer (P2P) systems are characterized by direct access between peer computers, rather than through a centralized server. File sharing is the dominant P2P application on the...