1929 search results - page 242 / 386 » An Approach to Limit the Wynot Problem |
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Protecting BGP routing from errors and malice is one of the next big challenges for Internet routing. Several approaches have been proposed that attempt to capture and block ro...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Application-specific instruction-set extensions (custom instructions) help embedded processors achieve higher performance. Most custom instructions offering significant performanc...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Most mobile devices are now Bluetooth-enabled. This wireless technology makes it possible to transfer files or stream contents between pieces of equipment. The possibly many de...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...