1523 search results - page 28 / 305 » Partially ordered secretaries |
254
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
153
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
181
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Using a linear decomposition of continuous phase modulated (CPM) signals with tilted-phase, sufficient conditions are derived under which M-ary partial-response CPM spacetime ...