PDF-IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,VOL.SE-6,N0. l,JANUARY 1980

2 Specifying Software Requirements for ComplexSystems New Techniques and TheirApplicatio KATHRYN L HENINGER AbsfmctThis paper concerns new techniques for making requirements specifications precis. 20 NO 1 JANUARY 2012 ContextDependent PreTrained Deep Neural Networks for LargeVocabulary Speech Recognition George E Dahl Dong Yu Senior Member IEEE Li Deng Fellow IEEE and Alex Acero Fellow IEEE Abstract We propose a novel contextdependent 23 NO 5 MAY 1997 JPRODUCTIONTSE2INPRODMAY10492801049281DOC regularpaper97dot S 27136 052997 413 PM 1 17 The Model Checker S PIN Gerard J Holzmann Abstract S PIN is an efficient verification system for models of distributed 56 NO 1 JANUARY 2010 Beyond Nyquist Ef64257cient Sampling of Sparse Bandlimited Signals Joel A Tropp Member IEEE Jason N Laska Student Member IEEE Marco F Duarte Member IEEE Justin K Romberg Member IEEE and Richard G Baraniuk Fello 18 NO 1 JANUARY 2003 411 Predictive Digital Current Programmed Control Jingquan Chen Member IEEE Aleksandar Prodic Student Member IEEE Robert W Erickson Fellow IEEE and Dragan Maksimovic Member IEEE Abstract This paper explores predictive 44 NO 1 JANUARY 1998 Quantized Overcomplete Expansions in Analysis Synthesis and Algorithms Vivek K Goyal Student Member IEEE Martin Vetterli Fellow IEEE and Nguyen T Thao Member IEEE Abstract Coef64257cient quantization has peculiar qualitati COM28 NO 1 JANUARY 1980 An Algorithm for Vector Quantizer Design YOSEPH LINDE MEMBER IEEE ANDRES BUZO MEMBER EEE Am ROBERT M GRAY SENIOR MEMBER EEE AbstractAn efficientand intuitive algorithm is presented for the design of vector quantizers ba 39 NO 1 JANUARY 2001 Permanent Scatterers in SAR Interferometry Alessandro Ferretti Claudio Prati and Fabio Rocca Abstract Temporal and geometrical decorrelation often pre vents SAR interferometry from being an operational tool for sur face deformat SE2 NO4 DECEMBER 1976 308 THOMAS J McCABE Abstract This paper describes a graphtheoretic complexity measure and illustrates how it can be used to manage and control program com plexity The paper first explains how the graphtheory concepts apply and 55 NO 1 JANUARY 2007 On Clutter Rank Observed by Arbitrary Arrays Nathan A Goodman Member IEEE and James M Stiles Senior Member IEEE Abstract This paper analyzes the rank and eigenspectrum of the clutter covariance matrix observed by spacetime ra SE3 NO 2 MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT AbstractThe inductive assertion method is generalized to permit formal machineverifiable proofs of correctness for multiprocess pro grams Individual processes are re IT27 NO 1 JANUARY 1 1 49 A New Achievable Rate Region for the Interference Channel TE SUN HAN MEMBER IEEE AND KING0 KOBAYASHI MEMBER IEEE AbstructA new achievable rate region for the general interference channel which extends previous results is pr 20 NO 1 JANUARY 2005 On the De64257nition of Total Harmonic Distortion and Its Effect on Measurement Interpretation Doron Shmilovitz Abstract The existence of two different de64257nitions for total har monic distortion one in comparison to the fund 54 NO 1 JANUARY 2007 Investigation of Drain Disturb in SONOS Flash EEPROMs P Bharath Kumar Student Member IEEE Ravinder Sharma Pradeep R Nair and Souvik Mahapatra Member IEEE Abstract The mechanism of drain disturb is studied in silicon oxidenitri The magic that makes your devices smart: . smart phone, smart grid, smart car, smart classroom etc.. 11/16/16, IEEE Foothill Section Computer Society. 1. Dr. Tim H. Lin. 10/10/16, Cal Poly Pomona for Shandong Economic and IT Committee.