4117 search results - page 699 / 824 » On the Satisfiability of Complex Constraints |
155
click to vote
EDOC
2007
IEEE
16 years 17 days ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
161
Voted
GLVLSI
2007
IEEE
16 years 16 days ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
183
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
We consider opportunistic spectrum access for secondary users over multiple channels whose occupancy by primary users is modeled as discrete-time Markov processes. Due to hardware...
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper presents a new decoding method inspired by Mitzenmacher’s idea of adding a different pseudo-random number to each packet, in a packet-symbol (n, k) code, for verificat...
157
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— Multicarrier transmission is an established technique for radio transmission systems and it can be considered as a promising approach for next generation wireless syste...