1523 search results - page 28 / 305 » Partially ordered secretaries |
113
click to vote
TACAS
2010
Springer
15 years 5 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...
58
Voted
IFM
2009
Springer
15 years 4 months ago
2009
Springer
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
ICC
2007
IEEE
15 years 4 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 ...
ASCM
2007
Springer
15 years 4 months ago
2007
Springer