Frequency Domain Analysis of Signals With Stochastic Sampling Times
- 期刊名称IEEE Transactions on Signal Processing
- 作者Eng, Frida; Gunnarsson, Fredrik; Gustafsson, Fredrik
- 卷第56卷
- 期第7期
- 印刷ISSN1053-587X
- 文件大小954.65KB
- 发表时间2008-07
- DOI10.1109/tsp.2008.917872
- 页码3089-3099
Synthesizing switching logic using constraint solvingAnkur Taly; Sumit Gulwani; Ashish Tiwari · 2011
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
Continuity and robustness of programsChaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto · Communications of the ACM · 2012
Synthesizing geometry constructionsGulwani, Sumit; Korthikanti, Vijay Anand; Tiwari, Ashish · ACM SIGPLAN Notices · 2011
Test-driven synthesisPerelman, Daniel; Gulwani, Sumit; Grossman, Dan; Provost, Peter · ACM SIGPLAN Notices · 2014
Program analysis as constraint solvingGulwani, Sumit; Srivastava, Saurabh; Venkatesan, Ramarathnam · ACM SIGPLAN Notices · 2008
Inferring locks for atomic sectionsCherem, Sigmund; Chilimbi, Trishul; Gulwani, Sumit · ACM SIGPLAN Notices · 2008
The reachability-bound problemGulwani, Sumit; Zuleger, Florian · ACM SIGPLAN Notices · 2010