7890 search results - page 1525 / 1578 » The MathSAT 3 System |
MOBIHOC
2006
ACM
15 years 9 months ago
2006
ACM
Smart antennas have gained significant importance in multihop wireless networks in recent years, because of their sophisticated signal processing capabilities that hold the potent...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
ECIR
2009
Springer
15 years 7 months ago
2009
Springer
Blog post opinion retrieval is the problem of identifying posts which express an opinion about a particular topic. Usually the problem is solved using a 3 step process in which rel...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
Design ECO commonly happens in industry due to constraints or target changes from manufacturing, marketing, reliability, or performance. At each step, designers usually want to mo...