|
US2010070955A1
|
|
Alias analysis for concurrent software programs
|
|
US2010251222A1
|
|
Completeness determination in smt-based bmc for software programs
|
|
US2009257344A1
|
|
All optical ofdm with integrated coupler based ifft/fft and pulse interleaving
|
|
US2009097852A1
|
|
10 Gbps OFDMA-PON
|
|
US2008134187A1
|
|
Hardware scheduled smp architectures
|
|
US2009016739A1
|
|
Pattern effect reduction of optical signals
|
|
US2007245329A1
|
|
Static analysis in disjunctive numerical domains
|
|
US2007206898A1
|
|
Optical equalization filtering of dwdm channels
|
|
US2007143742A1
|
|
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
|
|
US2007112715A1
|
|
System failure detection employing supervised and unsupervised monitoring
|
