295 search results - page 36 / 59 » SAT, SMT and Applications |
116
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
WCET
2003
15 years 3 months ago
2003
Calculating the WCET of mission-critical satellite applications is a challenging issue. The European Space Agency is currently undertaking the CryoSat mission, consisting of a rad...
107
click to vote
CADE
2002
Springer
16 years 2 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
123
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
Routing infrastructure plays a vital role in the Internet, and attacks on routers can be damaging. Compromised routers can drop, modify, mis-forward or reorder valid packets. Exis...