10700 search results - page 2018 / 2140 » Generative Design Patterns |
124
click to vote
ICCAD
2009
IEEE
15 years 6 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
170
click to vote
ANCS
2010
ACM
14 years 12 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
136
click to vote
CCR
2011
14 years 9 months ago
2011
Proliferation and innovation of wireless technologies require significant amounts of radio spectrum. Recent policy reforms by the FCC are paving the way by freeing up spectrum fo...
138
click to vote
COMCOM
2011
14 years 9 months ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...
136
click to vote
SIGOPS
2011
14 years 9 months ago
2011
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...